#ifndef CONSTANTES
#define CONSTANTES

#include <math.h>

#define NB_DEGRES            2

#define _N                   5632 // Nombre de Variables
#define _K                   1536 // Nombre de Checks   
#define _M                   19968 // Nombre de Messages 

#define NOEUD   _N
#define MESSAGE _M

#define NmoinsK     (_N-_K)

#define DEG_1                18
#define DEG_2                3

#define DEG_1_COMPUTATIONS   1024
#define DEG_2_COMPUTATIONS   512

#define NB_ITERATIONS        20
#define NB_BITS_VARIABLES    8 //8
#define NB_BITS_MESSAGES     6 //6
#define SAT_POS_VAR  ( (0x0001<<(NB_BITS_VARIABLES-1))-1)
#define SAT_NEG_VAR  (-(0x0001<<(NB_BITS_VARIABLES-1))+1)
#define SAT_POS_MSG  ( (0x0001<<(NB_BITS_MESSAGES -1))-1)
#define SAT_NEG_MSG  (-(0x0001<<(NB_BITS_MESSAGES -1))+1)

//static float  beta         = 0.15;
//static int    FACTEUR_BETA = (0x0001<<(NB_BITS_MESSAGES/2));
//static int    BETA_FIX; // = ((int)(FACTEUR_BETA*beta))

#endif


#ifndef _PosNoeudsVariable_
#define _PosNoeudsVariable_
const unsigned short PosNoeudsVariable[19968] ={
/* msg =      0, deg = 18 */     86,    129,    298,    512,   1103,   1222,   1309,   1536,   2140,   2254,   2374,   2560,   3072,   3584,   4608,   5223,   5353,   5376, 
/* msg =      1, deg = 18 */     87,    130,    299,    513,   1104,   1223,   1310,   1537,   2141,   2255,   2375,   2561,   3073,   3585,   4609,   5224,   5354,   5377, 
/* msg =      2, deg = 18 */     88,    131,    300,    514,   1105,   1224,   1311,   1538,   2142,   2256,   2376,   2562,   3074,   3586,   4610,   5225,   5355,   5378, 
/* msg =      3, deg = 18 */     89,    132,    301,    515,   1106,   1225,   1312,   1539,   2143,   2257,   2377,   2563,   3075,   3587,   4611,   5226,   5356,   5379, 
/* msg =      4, deg = 18 */     90,    133,    302,    516,   1107,   1226,   1313,   1540,   2144,   2258,   2378,   2564,   3076,   3588,   4612,   5227,   5357,   5380, 
/* msg =      5, deg = 18 */     91,    134,    303,    517,   1108,   1227,   1314,   1541,   2145,   2259,   2379,   2565,   3077,   3589,   4613,   5228,   5358,   5381, 
/* msg =      6, deg = 18 */     92,    135,    304,    518,   1109,   1228,   1315,   1542,   2146,   2260,   2380,   2566,   3078,   3590,   4614,   5229,   5359,   5382, 
/* msg =      7, deg = 18 */     93,    136,    305,    519,   1110,   1229,   1316,   1543,   2147,   2261,   2381,   2567,   3079,   3591,   4615,   5230,   5360,   5383, 
/* msg =      8, deg = 18 */     94,    137,    306,    520,   1111,   1230,   1317,   1544,   2148,   2262,   2382,   2568,   3080,   3592,   4616,   5231,   5361,   5384, 
/* msg =      9, deg = 18 */     95,    138,    307,    521,   1112,   1231,   1318,   1545,   2149,   2263,   2383,   2569,   3081,   3593,   4617,   5232,   5362,   5385, 
/* msg =     10, deg = 18 */     96,    139,    308,    522,   1113,   1232,   1319,   1546,   2150,   2264,   2384,   2570,   3082,   3594,   4618,   5233,   5363,   5386, 
/* msg =     11, deg = 18 */     97,    140,    309,    523,   1114,   1233,   1320,   1547,   2151,   2265,   2385,   2571,   3083,   3595,   4619,   5234,   5364,   5387, 
/* msg =     12, deg = 18 */     98,    141,    310,    524,   1115,   1234,   1321,   1548,   2152,   2266,   2386,   2572,   3084,   3596,   4620,   5235,   5365,   5388, 
/* msg =     13, deg = 18 */     99,    142,    311,    525,   1116,   1235,   1322,   1549,   2153,   2267,   2387,   2573,   3085,   3597,   4621,   5236,   5366,   5389, 
/* msg =     14, deg = 18 */    100,    143,    312,    526,   1117,   1236,   1323,   1550,   2154,   2268,   2388,   2574,   3086,   3598,   4622,   5237,   5367,   5390, 
/* msg =     15, deg = 18 */    101,    144,    313,    527,   1118,   1237,   1324,   1551,   2155,   2269,   2389,   2575,   3087,   3599,   4623,   5238,   5368,   5391, 
/* msg =     16, deg = 18 */    102,    145,    314,    528,   1119,   1238,   1325,   1552,   2156,   2270,   2390,   2576,   3088,   3600,   4624,   5239,   5369,   5392, 
/* msg =     17, deg = 18 */    103,    146,    315,    529,   1120,   1239,   1326,   1553,   2157,   2271,   2391,   2577,   3089,   3601,   4625,   5240,   5370,   5393, 
/* msg =     18, deg = 18 */    104,    147,    316,    530,   1121,   1240,   1327,   1554,   2158,   2272,   2392,   2578,   3090,   3602,   4626,   5241,   5371,   5394, 
/* msg =     19, deg = 18 */    105,    148,    317,    531,   1122,   1241,   1328,   1555,   2159,   2273,   2393,   2579,   3091,   3603,   4627,   5242,   5372,   5395, 
/* msg =     20, deg = 18 */    106,    149,    318,    532,   1123,   1242,   1329,   1556,   2160,   2274,   2394,   2580,   3092,   3604,   4628,   5243,   5373,   5396, 
/* msg =     21, deg = 18 */    107,    150,    319,    533,   1124,   1243,   1330,   1557,   2161,   2275,   2395,   2581,   3093,   3605,   4629,   5244,   5374,   5397, 
/* msg =     22, deg = 18 */    108,    151,    320,    534,   1125,   1244,   1331,   1558,   2162,   2276,   2396,   2582,   3094,   3606,   4630,   5245,   5375,   5398, 
/* msg =     23, deg = 18 */    109,    152,    321,    535,   1126,   1245,   1332,   1559,   2163,   2277,   2397,   2583,   3095,   3607,   4631,   5246,   5248,   5399, 
/* msg =     24, deg = 18 */    110,    153,    322,    536,   1127,   1246,   1333,   1560,   2164,   2278,   2398,   2584,   3096,   3608,   4632,   5247,   5249,   5400, 
/* msg =     25, deg = 18 */    111,    154,    323,    537,   1128,   1247,   1334,   1561,   2165,   2279,   2399,   2585,   3097,   3609,   4633,   5120,   5250,   5401, 
/* msg =     26, deg = 18 */    112,    155,    324,    538,   1129,   1248,   1335,   1562,   2166,   2280,   2400,   2586,   3098,   3610,   4634,   5121,   5251,   5402, 
/* msg =     27, deg = 18 */    113,    156,    325,    539,   1130,   1249,   1336,   1563,   2167,   2281,   2401,   2587,   3099,   3611,   4635,   5122,   5252,   5403, 
/* msg =     28, deg = 18 */    114,    157,    326,    540,   1131,   1250,   1337,   1564,   2168,   2282,   2402,   2588,   3100,   3612,   4636,   5123,   5253,   5404, 
/* msg =     29, deg = 18 */    115,    158,    327,    541,   1132,   1251,   1338,   1565,   2169,   2283,   2403,   2589,   3101,   3613,   4637,   5124,   5254,   5405, 
/* msg =     30, deg = 18 */    116,    159,    328,    542,   1133,   1252,   1339,   1566,   2170,   2284,   2404,   2590,   3102,   3614,   4638,   5125,   5255,   5406, 
/* msg =     31, deg = 18 */    117,    160,    329,    543,   1134,   1253,   1340,   1567,   2171,   2285,   2405,   2591,   3103,   3615,   4639,   5126,   5256,   5407, 
/* msg =     32, deg = 18 */    118,    161,    330,    544,   1135,   1254,   1341,   1568,   2172,   2286,   2406,   2592,   3104,   3616,   4640,   5127,   5257,   5408, 
/* msg =     33, deg = 18 */    119,    162,    331,    545,   1136,   1255,   1342,   1569,   2173,   2287,   2407,   2593,   3105,   3617,   4641,   5128,   5258,   5409, 
/* msg =     34, deg = 18 */    120,    163,    332,    546,   1137,   1256,   1343,   1570,   2174,   2288,   2408,   2594,   3106,   3618,   4642,   5129,   5259,   5410, 
/* msg =     35, deg = 18 */    121,    164,    333,    547,   1138,   1257,   1344,   1571,   2175,   2289,   2409,   2595,   3107,   3619,   4643,   5130,   5260,   5411, 
/* msg =     36, deg = 18 */    122,    165,    334,    548,   1139,   1258,   1345,   1572,   2048,   2290,   2410,   2596,   3108,   3620,   4644,   5131,   5261,   5412, 
/* msg =     37, deg = 18 */    123,    166,    335,    549,   1140,   1259,   1346,   1573,   2049,   2291,   2411,   2597,   3109,   3621,   4645,   5132,   5262,   5413, 
/* msg =     38, deg = 18 */    124,    167,    336,    550,   1141,   1260,   1347,   1574,   2050,   2292,   2412,   2598,   3110,   3622,   4646,   5133,   5263,   5414, 
/* msg =     39, deg = 18 */    125,    168,    337,    551,   1142,   1261,   1348,   1575,   2051,   2293,   2413,   2599,   3111,   3623,   4647,   5134,   5264,   5415, 
/* msg =     40, deg = 18 */    126,    169,    338,    552,   1143,   1262,   1349,   1576,   2052,   2294,   2414,   2600,   3112,   3624,   4648,   5135,   5265,   5416, 
/* msg =     41, deg = 18 */    127,    170,    339,    553,   1144,   1263,   1350,   1577,   2053,   2295,   2415,   2601,   3113,   3625,   4649,   5136,   5266,   5417, 
/* msg =     42, deg = 18 */      0,    171,    340,    554,   1145,   1264,   1351,   1578,   2054,   2296,   2416,   2602,   3114,   3626,   4650,   5137,   5267,   5418, 
/* msg =     43, deg = 18 */      1,    172,    341,    555,   1146,   1265,   1352,   1579,   2055,   2297,   2417,   2603,   3115,   3627,   4651,   5138,   5268,   5419, 
/* msg =     44, deg = 18 */      2,    173,    342,    556,   1147,   1266,   1353,   1580,   2056,   2298,   2418,   2604,   3116,   3628,   4652,   5139,   5269,   5420, 
/* msg =     45, deg = 18 */      3,    174,    343,    557,   1148,   1267,   1354,   1581,   2057,   2299,   2419,   2605,   3117,   3629,   4653,   5140,   5270,   5421, 
/* msg =     46, deg = 18 */      4,    175,    344,    558,   1149,   1268,   1355,   1582,   2058,   2300,   2420,   2606,   3118,   3630,   4654,   5141,   5271,   5422, 
/* msg =     47, deg = 18 */      5,    176,    345,    559,   1150,   1269,   1356,   1583,   2059,   2301,   2421,   2607,   3119,   3631,   4655,   5142,   5272,   5423, 
/* msg =     48, deg = 18 */      6,    177,    346,    560,   1151,   1270,   1357,   1584,   2060,   2302,   2422,   2608,   3120,   3632,   4656,   5143,   5273,   5424, 
/* msg =     49, deg = 18 */      7,    178,    347,    561,   1024,   1271,   1358,   1585,   2061,   2303,   2423,   2609,   3121,   3633,   4657,   5144,   5274,   5425, 
/* msg =     50, deg = 18 */      8,    179,    348,    562,   1025,   1272,   1359,   1586,   2062,   2176,   2424,   2610,   3122,   3634,   4658,   5145,   5275,   5426, 
/* msg =     51, deg = 18 */      9,    180,    349,    563,   1026,   1273,   1360,   1587,   2063,   2177,   2425,   2611,   3123,   3635,   4659,   5146,   5276,   5427, 
/* msg =     52, deg = 18 */     10,    181,    350,    564,   1027,   1274,   1361,   1588,   2064,   2178,   2426,   2612,   3124,   3636,   4660,   5147,   5277,   5428, 
/* msg =     53, deg = 18 */     11,    182,    351,    565,   1028,   1275,   1362,   1589,   2065,   2179,   2427,   2613,   3125,   3637,   4661,   5148,   5278,   5429, 
/* msg =     54, deg = 18 */     12,    183,    352,    566,   1029,   1276,   1363,   1590,   2066,   2180,   2428,   2614,   3126,   3638,   4662,   5149,   5279,   5430, 
/* msg =     55, deg = 18 */     13,    184,    353,    567,   1030,   1277,   1364,   1591,   2067,   2181,   2429,   2615,   3127,   3639,   4663,   5150,   5280,   5431, 
/* msg =     56, deg = 18 */     14,    185,    354,    568,   1031,   1278,   1365,   1592,   2068,   2182,   2430,   2616,   3128,   3640,   4664,   5151,   5281,   5432, 
/* msg =     57, deg = 18 */     15,    186,    355,    569,   1032,   1279,   1366,   1593,   2069,   2183,   2431,   2617,   3129,   3641,   4665,   5152,   5282,   5433, 
/* msg =     58, deg = 18 */     16,    187,    356,    570,   1033,   1152,   1367,   1594,   2070,   2184,   2304,   2618,   3130,   3642,   4666,   5153,   5283,   5434, 
/* msg =     59, deg = 18 */     17,    188,    357,    571,   1034,   1153,   1368,   1595,   2071,   2185,   2305,   2619,   3131,   3643,   4667,   5154,   5284,   5435, 
/* msg =     60, deg = 18 */     18,    189,    358,    572,   1035,   1154,   1369,   1596,   2072,   2186,   2306,   2620,   3132,   3644,   4668,   5155,   5285,   5436, 
/* msg =     61, deg = 18 */     19,    190,    359,    573,   1036,   1155,   1370,   1597,   2073,   2187,   2307,   2621,   3133,   3645,   4669,   5156,   5286,   5437, 
/* msg =     62, deg = 18 */     20,    191,    360,    574,   1037,   1156,   1371,   1598,   2074,   2188,   2308,   2622,   3134,   3646,   4670,   5157,   5287,   5438, 
/* msg =     63, deg = 18 */     21,    192,    361,    575,   1038,   1157,   1372,   1599,   2075,   2189,   2309,   2623,   3135,   3647,   4671,   5158,   5288,   5439, 
/* msg =     64, deg = 18 */     22,    193,    362,    576,   1039,   1158,   1373,   1600,   2076,   2190,   2310,   2624,   3136,   3648,   4672,   5159,   5289,   5440, 
/* msg =     65, deg = 18 */     23,    194,    363,    577,   1040,   1159,   1374,   1601,   2077,   2191,   2311,   2625,   3137,   3649,   4673,   5160,   5290,   5441, 
/* msg =     66, deg = 18 */     24,    195,    364,    578,   1041,   1160,   1375,   1602,   2078,   2192,   2312,   2626,   3138,   3650,   4674,   5161,   5291,   5442, 
/* msg =     67, deg = 18 */     25,    196,    365,    579,   1042,   1161,   1376,   1603,   2079,   2193,   2313,   2627,   3139,   3651,   4675,   5162,   5292,   5443, 
/* msg =     68, deg = 18 */     26,    197,    366,    580,   1043,   1162,   1377,   1604,   2080,   2194,   2314,   2628,   3140,   3652,   4676,   5163,   5293,   5444, 
/* msg =     69, deg = 18 */     27,    198,    367,    581,   1044,   1163,   1378,   1605,   2081,   2195,   2315,   2629,   3141,   3653,   4677,   5164,   5294,   5445, 
/* msg =     70, deg = 18 */     28,    199,    368,    582,   1045,   1164,   1379,   1606,   2082,   2196,   2316,   2630,   3142,   3654,   4678,   5165,   5295,   5446, 
/* msg =     71, deg = 18 */     29,    200,    369,    583,   1046,   1165,   1380,   1607,   2083,   2197,   2317,   2631,   3143,   3655,   4679,   5166,   5296,   5447, 
/* msg =     72, deg = 18 */     30,    201,    370,    584,   1047,   1166,   1381,   1608,   2084,   2198,   2318,   2632,   3144,   3656,   4680,   5167,   5297,   5448, 
/* msg =     73, deg = 18 */     31,    202,    371,    585,   1048,   1167,   1382,   1609,   2085,   2199,   2319,   2633,   3145,   3657,   4681,   5168,   5298,   5449, 
/* msg =     74, deg = 18 */     32,    203,    372,    586,   1049,   1168,   1383,   1610,   2086,   2200,   2320,   2634,   3146,   3658,   4682,   5169,   5299,   5450, 
/* msg =     75, deg = 18 */     33,    204,    373,    587,   1050,   1169,   1384,   1611,   2087,   2201,   2321,   2635,   3147,   3659,   4683,   5170,   5300,   5451, 
/* msg =     76, deg = 18 */     34,    205,    374,    588,   1051,   1170,   1385,   1612,   2088,   2202,   2322,   2636,   3148,   3660,   4684,   5171,   5301,   5452, 
/* msg =     77, deg = 18 */     35,    206,    375,    589,   1052,   1171,   1386,   1613,   2089,   2203,   2323,   2637,   3149,   3661,   4685,   5172,   5302,   5453, 
/* msg =     78, deg = 18 */     36,    207,    376,    590,   1053,   1172,   1387,   1614,   2090,   2204,   2324,   2638,   3150,   3662,   4686,   5173,   5303,   5454, 
/* msg =     79, deg = 18 */     37,    208,    377,    591,   1054,   1173,   1388,   1615,   2091,   2205,   2325,   2639,   3151,   3663,   4687,   5174,   5304,   5455, 
/* msg =     80, deg = 18 */     38,    209,    378,    592,   1055,   1174,   1389,   1616,   2092,   2206,   2326,   2640,   3152,   3664,   4688,   5175,   5305,   5456, 
/* msg =     81, deg = 18 */     39,    210,    379,    593,   1056,   1175,   1390,   1617,   2093,   2207,   2327,   2641,   3153,   3665,   4689,   5176,   5306,   5457, 
/* msg =     82, deg = 18 */     40,    211,    380,    594,   1057,   1176,   1391,   1618,   2094,   2208,   2328,   2642,   3154,   3666,   4690,   5177,   5307,   5458, 
/* msg =     83, deg = 18 */     41,    212,    381,    595,   1058,   1177,   1392,   1619,   2095,   2209,   2329,   2643,   3155,   3667,   4691,   5178,   5308,   5459, 
/* msg =     84, deg = 18 */     42,    213,    382,    596,   1059,   1178,   1393,   1620,   2096,   2210,   2330,   2644,   3156,   3668,   4692,   5179,   5309,   5460, 
/* msg =     85, deg = 18 */     43,    214,    383,    597,   1060,   1179,   1394,   1621,   2097,   2211,   2331,   2645,   3157,   3669,   4693,   5180,   5310,   5461, 
/* msg =     86, deg = 18 */     44,    215,    256,    598,   1061,   1180,   1395,   1622,   2098,   2212,   2332,   2646,   3158,   3670,   4694,   5181,   5311,   5462, 
/* msg =     87, deg = 18 */     45,    216,    257,    599,   1062,   1181,   1396,   1623,   2099,   2213,   2333,   2647,   3159,   3671,   4695,   5182,   5312,   5463, 
/* msg =     88, deg = 18 */     46,    217,    258,    600,   1063,   1182,   1397,   1624,   2100,   2214,   2334,   2648,   3160,   3672,   4696,   5183,   5313,   5464, 
/* msg =     89, deg = 18 */     47,    218,    259,    601,   1064,   1183,   1398,   1625,   2101,   2215,   2335,   2649,   3161,   3673,   4697,   5184,   5314,   5465, 
/* msg =     90, deg = 18 */     48,    219,    260,    602,   1065,   1184,   1399,   1626,   2102,   2216,   2336,   2650,   3162,   3674,   4698,   5185,   5315,   5466, 
/* msg =     91, deg = 18 */     49,    220,    261,    603,   1066,   1185,   1400,   1627,   2103,   2217,   2337,   2651,   3163,   3675,   4699,   5186,   5316,   5467, 
/* msg =     92, deg = 18 */     50,    221,    262,    604,   1067,   1186,   1401,   1628,   2104,   2218,   2338,   2652,   3164,   3676,   4700,   5187,   5317,   5468, 
/* msg =     93, deg = 18 */     51,    222,    263,    605,   1068,   1187,   1402,   1629,   2105,   2219,   2339,   2653,   3165,   3677,   4701,   5188,   5318,   5469, 
/* msg =     94, deg = 18 */     52,    223,    264,    606,   1069,   1188,   1403,   1630,   2106,   2220,   2340,   2654,   3166,   3678,   4702,   5189,   5319,   5470, 
/* msg =     95, deg = 18 */     53,    224,    265,    607,   1070,   1189,   1404,   1631,   2107,   2221,   2341,   2655,   3167,   3679,   4703,   5190,   5320,   5471, 
/* msg =     96, deg = 18 */     54,    225,    266,    608,   1071,   1190,   1405,   1632,   2108,   2222,   2342,   2656,   3168,   3680,   4704,   5191,   5321,   5472, 
/* msg =     97, deg = 18 */     55,    226,    267,    609,   1072,   1191,   1406,   1633,   2109,   2223,   2343,   2657,   3169,   3681,   4705,   5192,   5322,   5473, 
/* msg =     98, deg = 18 */     56,    227,    268,    610,   1073,   1192,   1407,   1634,   2110,   2224,   2344,   2658,   3170,   3682,   4706,   5193,   5323,   5474, 
/* msg =     99, deg = 18 */     57,    228,    269,    611,   1074,   1193,   1280,   1635,   2111,   2225,   2345,   2659,   3171,   3683,   4707,   5194,   5324,   5475, 
/* msg =    100, deg = 18 */     58,    229,    270,    612,   1075,   1194,   1281,   1636,   2112,   2226,   2346,   2660,   3172,   3684,   4708,   5195,   5325,   5476, 
/* msg =    101, deg = 18 */     59,    230,    271,    613,   1076,   1195,   1282,   1637,   2113,   2227,   2347,   2661,   3173,   3685,   4709,   5196,   5326,   5477, 
/* msg =    102, deg = 18 */     60,    231,    272,    614,   1077,   1196,   1283,   1638,   2114,   2228,   2348,   2662,   3174,   3686,   4710,   5197,   5327,   5478, 
/* msg =    103, deg = 18 */     61,    232,    273,    615,   1078,   1197,   1284,   1639,   2115,   2229,   2349,   2663,   3175,   3687,   4711,   5198,   5328,   5479, 
/* msg =    104, deg = 18 */     62,    233,    274,    616,   1079,   1198,   1285,   1640,   2116,   2230,   2350,   2664,   3176,   3688,   4712,   5199,   5329,   5480, 
/* msg =    105, deg = 18 */     63,    234,    275,    617,   1080,   1199,   1286,   1641,   2117,   2231,   2351,   2665,   3177,   3689,   4713,   5200,   5330,   5481, 
/* msg =    106, deg = 18 */     64,    235,    276,    618,   1081,   1200,   1287,   1642,   2118,   2232,   2352,   2666,   3178,   3690,   4714,   5201,   5331,   5482, 
/* msg =    107, deg = 18 */     65,    236,    277,    619,   1082,   1201,   1288,   1643,   2119,   2233,   2353,   2667,   3179,   3691,   4715,   5202,   5332,   5483, 
/* msg =    108, deg = 18 */     66,    237,    278,    620,   1083,   1202,   1289,   1644,   2120,   2234,   2354,   2668,   3180,   3692,   4716,   5203,   5333,   5484, 
/* msg =    109, deg = 18 */     67,    238,    279,    621,   1084,   1203,   1290,   1645,   2121,   2235,   2355,   2669,   3181,   3693,   4717,   5204,   5334,   5485, 
/* msg =    110, deg = 18 */     68,    239,    280,    622,   1085,   1204,   1291,   1646,   2122,   2236,   2356,   2670,   3182,   3694,   4718,   5205,   5335,   5486, 
/* msg =    111, deg = 18 */     69,    240,    281,    623,   1086,   1205,   1292,   1647,   2123,   2237,   2357,   2671,   3183,   3695,   4719,   5206,   5336,   5487, 
/* msg =    112, deg = 18 */     70,    241,    282,    624,   1087,   1206,   1293,   1648,   2124,   2238,   2358,   2672,   3184,   3696,   4720,   5207,   5337,   5488, 
/* msg =    113, deg = 18 */     71,    242,    283,    625,   1088,   1207,   1294,   1649,   2125,   2239,   2359,   2673,   3185,   3697,   4721,   5208,   5338,   5489, 
/* msg =    114, deg = 18 */     72,    243,    284,    626,   1089,   1208,   1295,   1650,   2126,   2240,   2360,   2674,   3186,   3698,   4722,   5209,   5339,   5490, 
/* msg =    115, deg = 18 */     73,    244,    285,    627,   1090,   1209,   1296,   1651,   2127,   2241,   2361,   2675,   3187,   3699,   4723,   5210,   5340,   5491, 
/* msg =    116, deg = 18 */     74,    245,    286,    628,   1091,   1210,   1297,   1652,   2128,   2242,   2362,   2676,   3188,   3700,   4724,   5211,   5341,   5492, 
/* msg =    117, deg = 18 */     75,    246,    287,    629,   1092,   1211,   1298,   1653,   2129,   2243,   2363,   2677,   3189,   3701,   4725,   5212,   5342,   5493, 
/* msg =    118, deg = 18 */     76,    247,    288,    630,   1093,   1212,   1299,   1654,   2130,   2244,   2364,   2678,   3190,   3702,   4726,   5213,   5343,   5494, 
/* msg =    119, deg = 18 */     77,    248,    289,    631,   1094,   1213,   1300,   1655,   2131,   2245,   2365,   2679,   3191,   3703,   4727,   5214,   5344,   5495, 
/* msg =    120, deg = 18 */     78,    249,    290,    632,   1095,   1214,   1301,   1656,   2132,   2246,   2366,   2680,   3192,   3704,   4728,   5215,   5345,   5496, 
/* msg =    121, deg = 18 */     79,    250,    291,    633,   1096,   1215,   1302,   1657,   2133,   2247,   2367,   2681,   3193,   3705,   4729,   5216,   5346,   5497, 
/* msg =    122, deg = 18 */     80,    251,    292,    634,   1097,   1216,   1303,   1658,   2134,   2248,   2368,   2682,   3194,   3706,   4730,   5217,   5347,   5498, 
/* msg =    123, deg = 18 */     81,    252,    293,    635,   1098,   1217,   1304,   1659,   2135,   2249,   2369,   2683,   3195,   3707,   4731,   5218,   5348,   5499, 
/* msg =    124, deg = 18 */     82,    253,    294,    636,   1099,   1218,   1305,   1660,   2136,   2250,   2370,   2684,   3196,   3708,   4732,   5219,   5349,   5500, 
/* msg =    125, deg = 18 */     83,    254,    295,    637,   1100,   1219,   1306,   1661,   2137,   2251,   2371,   2685,   3197,   3709,   4733,   5220,   5350,   5501, 
/* msg =    126, deg = 18 */     84,    255,    296,    638,   1101,   1220,   1307,   1662,   2138,   2252,   2372,   2686,   3198,   3710,   4734,   5221,   5351,   5502, 
/* msg =    127, deg = 18 */     85,    128,    297,    639,   1102,   1221,   1308,   1663,   2139,   2253,   2373,   2687,   3199,   3711,   4735,   5222,   5352,   5503, 
/* msg =    128, deg = 18 */    184,    310,    492,    640,   1243,   1350,   1523,   1664,   2201,   2307,   2520,   2688,   3200,   3712,   4736,   5301,   5450,   5549, 
/* msg =    129, deg = 18 */    185,    311,    493,    641,   1244,   1351,   1524,   1665,   2202,   2308,   2521,   2689,   3201,   3713,   4737,   5302,   5451,   5550, 
/* msg =    130, deg = 18 */    186,    312,    494,    642,   1245,   1352,   1525,   1666,   2203,   2309,   2522,   2690,   3202,   3714,   4738,   5303,   5452,   5551, 
/* msg =    131, deg = 18 */    187,    313,    495,    643,   1246,   1353,   1526,   1667,   2204,   2310,   2523,   2691,   3203,   3715,   4739,   5304,   5453,   5552, 
/* msg =    132, deg = 18 */    188,    314,    496,    644,   1247,   1354,   1527,   1668,   2205,   2311,   2524,   2692,   3204,   3716,   4740,   5305,   5454,   5553, 
/* msg =    133, deg = 18 */    189,    315,    497,    645,   1248,   1355,   1528,   1669,   2206,   2312,   2525,   2693,   3205,   3717,   4741,   5306,   5455,   5554, 
/* msg =    134, deg = 18 */    190,    316,    498,    646,   1249,   1356,   1529,   1670,   2207,   2313,   2526,   2694,   3206,   3718,   4742,   5307,   5456,   5555, 
/* msg =    135, deg = 18 */    191,    317,    499,    647,   1250,   1357,   1530,   1671,   2208,   2314,   2527,   2695,   3207,   3719,   4743,   5308,   5457,   5556, 
/* msg =    136, deg = 18 */    192,    318,    500,    648,   1251,   1358,   1531,   1672,   2209,   2315,   2528,   2696,   3208,   3720,   4744,   5309,   5458,   5557, 
/* msg =    137, deg = 18 */    193,    319,    501,    649,   1252,   1359,   1532,   1673,   2210,   2316,   2529,   2697,   3209,   3721,   4745,   5310,   5459,   5558, 
/* msg =    138, deg = 18 */    194,    320,    502,    650,   1253,   1360,   1533,   1674,   2211,   2317,   2530,   2698,   3210,   3722,   4746,   5311,   5460,   5559, 
/* msg =    139, deg = 18 */    195,    321,    503,    651,   1254,   1361,   1534,   1675,   2212,   2318,   2531,   2699,   3211,   3723,   4747,   5312,   5461,   5560, 
/* msg =    140, deg = 18 */    196,    322,    504,    652,   1255,   1362,   1535,   1676,   2213,   2319,   2532,   2700,   3212,   3724,   4748,   5313,   5462,   5561, 
/* msg =    141, deg = 18 */    197,    323,    505,    653,   1256,   1363,   1408,   1677,   2214,   2320,   2533,   2701,   3213,   3725,   4749,   5314,   5463,   5562, 
/* msg =    142, deg = 18 */    198,    324,    506,    654,   1257,   1364,   1409,   1678,   2215,   2321,   2534,   2702,   3214,   3726,   4750,   5315,   5464,   5563, 
/* msg =    143, deg = 18 */    199,    325,    507,    655,   1258,   1365,   1410,   1679,   2216,   2322,   2535,   2703,   3215,   3727,   4751,   5316,   5465,   5564, 
/* msg =    144, deg = 18 */    200,    326,    508,    656,   1259,   1366,   1411,   1680,   2217,   2323,   2536,   2704,   3216,   3728,   4752,   5317,   5466,   5565, 
/* msg =    145, deg = 18 */    201,    327,    509,    657,   1260,   1367,   1412,   1681,   2218,   2324,   2537,   2705,   3217,   3729,   4753,   5318,   5467,   5566, 
/* msg =    146, deg = 18 */    202,    328,    510,    658,   1261,   1368,   1413,   1682,   2219,   2325,   2538,   2706,   3218,   3730,   4754,   5319,   5468,   5567, 
/* msg =    147, deg = 18 */    203,    329,    511,    659,   1262,   1369,   1414,   1683,   2220,   2326,   2539,   2707,   3219,   3731,   4755,   5320,   5469,   5568, 
/* msg =    148, deg = 18 */    204,    330,    384,    660,   1263,   1370,   1415,   1684,   2221,   2327,   2540,   2708,   3220,   3732,   4756,   5321,   5470,   5569, 
/* msg =    149, deg = 18 */    205,    331,    385,    661,   1264,   1371,   1416,   1685,   2222,   2328,   2541,   2709,   3221,   3733,   4757,   5322,   5471,   5570, 
/* msg =    150, deg = 18 */    206,    332,    386,    662,   1265,   1372,   1417,   1686,   2223,   2329,   2542,   2710,   3222,   3734,   4758,   5323,   5472,   5571, 
/* msg =    151, deg = 18 */    207,    333,    387,    663,   1266,   1373,   1418,   1687,   2224,   2330,   2543,   2711,   3223,   3735,   4759,   5324,   5473,   5572, 
/* msg =    152, deg = 18 */    208,    334,    388,    664,   1267,   1374,   1419,   1688,   2225,   2331,   2544,   2712,   3224,   3736,   4760,   5325,   5474,   5573, 
/* msg =    153, deg = 18 */    209,    335,    389,    665,   1268,   1375,   1420,   1689,   2226,   2332,   2545,   2713,   3225,   3737,   4761,   5326,   5475,   5574, 
/* msg =    154, deg = 18 */    210,    336,    390,    666,   1269,   1376,   1421,   1690,   2227,   2333,   2546,   2714,   3226,   3738,   4762,   5327,   5476,   5575, 
/* msg =    155, deg = 18 */    211,    337,    391,    667,   1270,   1377,   1422,   1691,   2228,   2334,   2547,   2715,   3227,   3739,   4763,   5328,   5477,   5576, 
/* msg =    156, deg = 18 */    212,    338,    392,    668,   1271,   1378,   1423,   1692,   2229,   2335,   2548,   2716,   3228,   3740,   4764,   5329,   5478,   5577, 
/* msg =    157, deg = 18 */    213,    339,    393,    669,   1272,   1379,   1424,   1693,   2230,   2336,   2549,   2717,   3229,   3741,   4765,   5330,   5479,   5578, 
/* msg =    158, deg = 18 */    214,    340,    394,    670,   1273,   1380,   1425,   1694,   2231,   2337,   2550,   2718,   3230,   3742,   4766,   5331,   5480,   5579, 
/* msg =    159, deg = 18 */    215,    341,    395,    671,   1274,   1381,   1426,   1695,   2232,   2338,   2551,   2719,   3231,   3743,   4767,   5332,   5481,   5580, 
/* msg =    160, deg = 18 */    216,    342,    396,    672,   1275,   1382,   1427,   1696,   2233,   2339,   2552,   2720,   3232,   3744,   4768,   5333,   5482,   5581, 
/* msg =    161, deg = 18 */    217,    343,    397,    673,   1276,   1383,   1428,   1697,   2234,   2340,   2553,   2721,   3233,   3745,   4769,   5334,   5483,   5582, 
/* msg =    162, deg = 18 */    218,    344,    398,    674,   1277,   1384,   1429,   1698,   2235,   2341,   2554,   2722,   3234,   3746,   4770,   5335,   5484,   5583, 
/* msg =    163, deg = 18 */    219,    345,    399,    675,   1278,   1385,   1430,   1699,   2236,   2342,   2555,   2723,   3235,   3747,   4771,   5336,   5485,   5584, 
/* msg =    164, deg = 18 */    220,    346,    400,    676,   1279,   1386,   1431,   1700,   2237,   2343,   2556,   2724,   3236,   3748,   4772,   5337,   5486,   5585, 
/* msg =    165, deg = 18 */    221,    347,    401,    677,   1152,   1387,   1432,   1701,   2238,   2344,   2557,   2725,   3237,   3749,   4773,   5338,   5487,   5586, 
/* msg =    166, deg = 18 */    222,    348,    402,    678,   1153,   1388,   1433,   1702,   2239,   2345,   2558,   2726,   3238,   3750,   4774,   5339,   5488,   5587, 
/* msg =    167, deg = 18 */    223,    349,    403,    679,   1154,   1389,   1434,   1703,   2240,   2346,   2559,   2727,   3239,   3751,   4775,   5340,   5489,   5588, 
/* msg =    168, deg = 18 */    224,    350,    404,    680,   1155,   1390,   1435,   1704,   2241,   2347,   2432,   2728,   3240,   3752,   4776,   5341,   5490,   5589, 
/* msg =    169, deg = 18 */    225,    351,    405,    681,   1156,   1391,   1436,   1705,   2242,   2348,   2433,   2729,   3241,   3753,   4777,   5342,   5491,   5590, 
/* msg =    170, deg = 18 */    226,    352,    406,    682,   1157,   1392,   1437,   1706,   2243,   2349,   2434,   2730,   3242,   3754,   4778,   5343,   5492,   5591, 
/* msg =    171, deg = 18 */    227,    353,    407,    683,   1158,   1393,   1438,   1707,   2244,   2350,   2435,   2731,   3243,   3755,   4779,   5344,   5493,   5592, 
/* msg =    172, deg = 18 */    228,    354,    408,    684,   1159,   1394,   1439,   1708,   2245,   2351,   2436,   2732,   3244,   3756,   4780,   5345,   5494,   5593, 
/* msg =    173, deg = 18 */    229,    355,    409,    685,   1160,   1395,   1440,   1709,   2246,   2352,   2437,   2733,   3245,   3757,   4781,   5346,   5495,   5594, 
/* msg =    174, deg = 18 */    230,    356,    410,    686,   1161,   1396,   1441,   1710,   2247,   2353,   2438,   2734,   3246,   3758,   4782,   5347,   5496,   5595, 
/* msg =    175, deg = 18 */    231,    357,    411,    687,   1162,   1397,   1442,   1711,   2248,   2354,   2439,   2735,   3247,   3759,   4783,   5348,   5497,   5596, 
/* msg =    176, deg = 18 */    232,    358,    412,    688,   1163,   1398,   1443,   1712,   2249,   2355,   2440,   2736,   3248,   3760,   4784,   5349,   5498,   5597, 
/* msg =    177, deg = 18 */    233,    359,    413,    689,   1164,   1399,   1444,   1713,   2250,   2356,   2441,   2737,   3249,   3761,   4785,   5350,   5499,   5598, 
/* msg =    178, deg = 18 */    234,    360,    414,    690,   1165,   1400,   1445,   1714,   2251,   2357,   2442,   2738,   3250,   3762,   4786,   5351,   5500,   5599, 
/* msg =    179, deg = 18 */    235,    361,    415,    691,   1166,   1401,   1446,   1715,   2252,   2358,   2443,   2739,   3251,   3763,   4787,   5352,   5501,   5600, 
/* msg =    180, deg = 18 */    236,    362,    416,    692,   1167,   1402,   1447,   1716,   2253,   2359,   2444,   2740,   3252,   3764,   4788,   5353,   5502,   5601, 
/* msg =    181, deg = 18 */    237,    363,    417,    693,   1168,   1403,   1448,   1717,   2254,   2360,   2445,   2741,   3253,   3765,   4789,   5354,   5503,   5602, 
/* msg =    182, deg = 18 */    238,    364,    418,    694,   1169,   1404,   1449,   1718,   2255,   2361,   2446,   2742,   3254,   3766,   4790,   5355,   5376,   5603, 
/* msg =    183, deg = 18 */    239,    365,    419,    695,   1170,   1405,   1450,   1719,   2256,   2362,   2447,   2743,   3255,   3767,   4791,   5356,   5377,   5604, 
/* msg =    184, deg = 18 */    240,    366,    420,    696,   1171,   1406,   1451,   1720,   2257,   2363,   2448,   2744,   3256,   3768,   4792,   5357,   5378,   5605, 
/* msg =    185, deg = 18 */    241,    367,    421,    697,   1172,   1407,   1452,   1721,   2258,   2364,   2449,   2745,   3257,   3769,   4793,   5358,   5379,   5606, 
/* msg =    186, deg = 18 */    242,    368,    422,    698,   1173,   1280,   1453,   1722,   2259,   2365,   2450,   2746,   3258,   3770,   4794,   5359,   5380,   5607, 
/* msg =    187, deg = 18 */    243,    369,    423,    699,   1174,   1281,   1454,   1723,   2260,   2366,   2451,   2747,   3259,   3771,   4795,   5360,   5381,   5608, 
/* msg =    188, deg = 18 */    244,    370,    424,    700,   1175,   1282,   1455,   1724,   2261,   2367,   2452,   2748,   3260,   3772,   4796,   5361,   5382,   5609, 
/* msg =    189, deg = 18 */    245,    371,    425,    701,   1176,   1283,   1456,   1725,   2262,   2368,   2453,   2749,   3261,   3773,   4797,   5362,   5383,   5610, 
/* msg =    190, deg = 18 */    246,    372,    426,    702,   1177,   1284,   1457,   1726,   2263,   2369,   2454,   2750,   3262,   3774,   4798,   5363,   5384,   5611, 
/* msg =    191, deg = 18 */    247,    373,    427,    703,   1178,   1285,   1458,   1727,   2264,   2370,   2455,   2751,   3263,   3775,   4799,   5364,   5385,   5612, 
/* msg =    192, deg = 18 */    248,    374,    428,    704,   1179,   1286,   1459,   1728,   2265,   2371,   2456,   2752,   3264,   3776,   4800,   5365,   5386,   5613, 
/* msg =    193, deg = 18 */    249,    375,    429,    705,   1180,   1287,   1460,   1729,   2266,   2372,   2457,   2753,   3265,   3777,   4801,   5366,   5387,   5614, 
/* msg =    194, deg = 18 */    250,    376,    430,    706,   1181,   1288,   1461,   1730,   2267,   2373,   2458,   2754,   3266,   3778,   4802,   5367,   5388,   5615, 
/* msg =    195, deg = 18 */    251,    377,    431,    707,   1182,   1289,   1462,   1731,   2268,   2374,   2459,   2755,   3267,   3779,   4803,   5368,   5389,   5616, 
/* msg =    196, deg = 18 */    252,    378,    432,    708,   1183,   1290,   1463,   1732,   2269,   2375,   2460,   2756,   3268,   3780,   4804,   5369,   5390,   5617, 
/* msg =    197, deg = 18 */    253,    379,    433,    709,   1184,   1291,   1464,   1733,   2270,   2376,   2461,   2757,   3269,   3781,   4805,   5370,   5391,   5618, 
/* msg =    198, deg = 18 */    254,    380,    434,    710,   1185,   1292,   1465,   1734,   2271,   2377,   2462,   2758,   3270,   3782,   4806,   5371,   5392,   5619, 
/* msg =    199, deg = 18 */    255,    381,    435,    711,   1186,   1293,   1466,   1735,   2272,   2378,   2463,   2759,   3271,   3783,   4807,   5372,   5393,   5620, 
/* msg =    200, deg = 18 */    128,    382,    436,    712,   1187,   1294,   1467,   1736,   2273,   2379,   2464,   2760,   3272,   3784,   4808,   5373,   5394,   5621, 
/* msg =    201, deg = 18 */    129,    383,    437,    713,   1188,   1295,   1468,   1737,   2274,   2380,   2465,   2761,   3273,   3785,   4809,   5374,   5395,   5622, 
/* msg =    202, deg = 18 */    130,    256,    438,    714,   1189,   1296,   1469,   1738,   2275,   2381,   2466,   2762,   3274,   3786,   4810,   5375,   5396,   5623, 
/* msg =    203, deg = 18 */    131,    257,    439,    715,   1190,   1297,   1470,   1739,   2276,   2382,   2467,   2763,   3275,   3787,   4811,   5248,   5397,   5624, 
/* msg =    204, deg = 18 */    132,    258,    440,    716,   1191,   1298,   1471,   1740,   2277,   2383,   2468,   2764,   3276,   3788,   4812,   5249,   5398,   5625, 
/* msg =    205, deg = 18 */    133,    259,    441,    717,   1192,   1299,   1472,   1741,   2278,   2384,   2469,   2765,   3277,   3789,   4813,   5250,   5399,   5626, 
/* msg =    206, deg = 18 */    134,    260,    442,    718,   1193,   1300,   1473,   1742,   2279,   2385,   2470,   2766,   3278,   3790,   4814,   5251,   5400,   5627, 
/* msg =    207, deg = 18 */    135,    261,    443,    719,   1194,   1301,   1474,   1743,   2280,   2386,   2471,   2767,   3279,   3791,   4815,   5252,   5401,   5628, 
/* msg =    208, deg = 18 */    136,    262,    444,    720,   1195,   1302,   1475,   1744,   2281,   2387,   2472,   2768,   3280,   3792,   4816,   5253,   5402,   5629, 
/* msg =    209, deg = 18 */    137,    263,    445,    721,   1196,   1303,   1476,   1745,   2282,   2388,   2473,   2769,   3281,   3793,   4817,   5254,   5403,   5630, 
/* msg =    210, deg = 18 */    138,    264,    446,    722,   1197,   1304,   1477,   1746,   2283,   2389,   2474,   2770,   3282,   3794,   4818,   5255,   5404,   5631, 
/* msg =    211, deg = 18 */    139,    265,    447,    723,   1198,   1305,   1478,   1747,   2284,   2390,   2475,   2771,   3283,   3795,   4819,   5256,   5405,   5504, 
/* msg =    212, deg = 18 */    140,    266,    448,    724,   1199,   1306,   1479,   1748,   2285,   2391,   2476,   2772,   3284,   3796,   4820,   5257,   5406,   5505, 
/* msg =    213, deg = 18 */    141,    267,    449,    725,   1200,   1307,   1480,   1749,   2286,   2392,   2477,   2773,   3285,   3797,   4821,   5258,   5407,   5506, 
/* msg =    214, deg = 18 */    142,    268,    450,    726,   1201,   1308,   1481,   1750,   2287,   2393,   2478,   2774,   3286,   3798,   4822,   5259,   5408,   5507, 
/* msg =    215, deg = 18 */    143,    269,    451,    727,   1202,   1309,   1482,   1751,   2288,   2394,   2479,   2775,   3287,   3799,   4823,   5260,   5409,   5508, 
/* msg =    216, deg = 18 */    144,    270,    452,    728,   1203,   1310,   1483,   1752,   2289,   2395,   2480,   2776,   3288,   3800,   4824,   5261,   5410,   5509, 
/* msg =    217, deg = 18 */    145,    271,    453,    729,   1204,   1311,   1484,   1753,   2290,   2396,   2481,   2777,   3289,   3801,   4825,   5262,   5411,   5510, 
/* msg =    218, deg = 18 */    146,    272,    454,    730,   1205,   1312,   1485,   1754,   2291,   2397,   2482,   2778,   3290,   3802,   4826,   5263,   5412,   5511, 
/* msg =    219, deg = 18 */    147,    273,    455,    731,   1206,   1313,   1486,   1755,   2292,   2398,   2483,   2779,   3291,   3803,   4827,   5264,   5413,   5512, 
/* msg =    220, deg = 18 */    148,    274,    456,    732,   1207,   1314,   1487,   1756,   2293,   2399,   2484,   2780,   3292,   3804,   4828,   5265,   5414,   5513, 
/* msg =    221, deg = 18 */    149,    275,    457,    733,   1208,   1315,   1488,   1757,   2294,   2400,   2485,   2781,   3293,   3805,   4829,   5266,   5415,   5514, 
/* msg =    222, deg = 18 */    150,    276,    458,    734,   1209,   1316,   1489,   1758,   2295,   2401,   2486,   2782,   3294,   3806,   4830,   5267,   5416,   5515, 
/* msg =    223, deg = 18 */    151,    277,    459,    735,   1210,   1317,   1490,   1759,   2296,   2402,   2487,   2783,   3295,   3807,   4831,   5268,   5417,   5516, 
/* msg =    224, deg = 18 */    152,    278,    460,    736,   1211,   1318,   1491,   1760,   2297,   2403,   2488,   2784,   3296,   3808,   4832,   5269,   5418,   5517, 
/* msg =    225, deg = 18 */    153,    279,    461,    737,   1212,   1319,   1492,   1761,   2298,   2404,   2489,   2785,   3297,   3809,   4833,   5270,   5419,   5518, 
/* msg =    226, deg = 18 */    154,    280,    462,    738,   1213,   1320,   1493,   1762,   2299,   2405,   2490,   2786,   3298,   3810,   4834,   5271,   5420,   5519, 
/* msg =    227, deg = 18 */    155,    281,    463,    739,   1214,   1321,   1494,   1763,   2300,   2406,   2491,   2787,   3299,   3811,   4835,   5272,   5421,   5520, 
/* msg =    228, deg = 18 */    156,    282,    464,    740,   1215,   1322,   1495,   1764,   2301,   2407,   2492,   2788,   3300,   3812,   4836,   5273,   5422,   5521, 
/* msg =    229, deg = 18 */    157,    283,    465,    741,   1216,   1323,   1496,   1765,   2302,   2408,   2493,   2789,   3301,   3813,   4837,   5274,   5423,   5522, 
/* msg =    230, deg = 18 */    158,    284,    466,    742,   1217,   1324,   1497,   1766,   2303,   2409,   2494,   2790,   3302,   3814,   4838,   5275,   5424,   5523, 
/* msg =    231, deg = 18 */    159,    285,    467,    743,   1218,   1325,   1498,   1767,   2176,   2410,   2495,   2791,   3303,   3815,   4839,   5276,   5425,   5524, 
/* msg =    232, deg = 18 */    160,    286,    468,    744,   1219,   1326,   1499,   1768,   2177,   2411,   2496,   2792,   3304,   3816,   4840,   5277,   5426,   5525, 
/* msg =    233, deg = 18 */    161,    287,    469,    745,   1220,   1327,   1500,   1769,   2178,   2412,   2497,   2793,   3305,   3817,   4841,   5278,   5427,   5526, 
/* msg =    234, deg = 18 */    162,    288,    470,    746,   1221,   1328,   1501,   1770,   2179,   2413,   2498,   2794,   3306,   3818,   4842,   5279,   5428,   5527, 
/* msg =    235, deg = 18 */    163,    289,    471,    747,   1222,   1329,   1502,   1771,   2180,   2414,   2499,   2795,   3307,   3819,   4843,   5280,   5429,   5528, 
/* msg =    236, deg = 18 */    164,    290,    472,    748,   1223,   1330,   1503,   1772,   2181,   2415,   2500,   2796,   3308,   3820,   4844,   5281,   5430,   5529, 
/* msg =    237, deg = 18 */    165,    291,    473,    749,   1224,   1331,   1504,   1773,   2182,   2416,   2501,   2797,   3309,   3821,   4845,   5282,   5431,   5530, 
/* msg =    238, deg = 18 */    166,    292,    474,    750,   1225,   1332,   1505,   1774,   2183,   2417,   2502,   2798,   3310,   3822,   4846,   5283,   5432,   5531, 
/* msg =    239, deg = 18 */    167,    293,    475,    751,   1226,   1333,   1506,   1775,   2184,   2418,   2503,   2799,   3311,   3823,   4847,   5284,   5433,   5532, 
/* msg =    240, deg = 18 */    168,    294,    476,    752,   1227,   1334,   1507,   1776,   2185,   2419,   2504,   2800,   3312,   3824,   4848,   5285,   5434,   5533, 
/* msg =    241, deg = 18 */    169,    295,    477,    753,   1228,   1335,   1508,   1777,   2186,   2420,   2505,   2801,   3313,   3825,   4849,   5286,   5435,   5534, 
/* msg =    242, deg = 18 */    170,    296,    478,    754,   1229,   1336,   1509,   1778,   2187,   2421,   2506,   2802,   3314,   3826,   4850,   5287,   5436,   5535, 
/* msg =    243, deg = 18 */    171,    297,    479,    755,   1230,   1337,   1510,   1779,   2188,   2422,   2507,   2803,   3315,   3827,   4851,   5288,   5437,   5536, 
/* msg =    244, deg = 18 */    172,    298,    480,    756,   1231,   1338,   1511,   1780,   2189,   2423,   2508,   2804,   3316,   3828,   4852,   5289,   5438,   5537, 
/* msg =    245, deg = 18 */    173,    299,    481,    757,   1232,   1339,   1512,   1781,   2190,   2424,   2509,   2805,   3317,   3829,   4853,   5290,   5439,   5538, 
/* msg =    246, deg = 18 */    174,    300,    482,    758,   1233,   1340,   1513,   1782,   2191,   2425,   2510,   2806,   3318,   3830,   4854,   5291,   5440,   5539, 
/* msg =    247, deg = 18 */    175,    301,    483,    759,   1234,   1341,   1514,   1783,   2192,   2426,   2511,   2807,   3319,   3831,   4855,   5292,   5441,   5540, 
/* msg =    248, deg = 18 */    176,    302,    484,    760,   1235,   1342,   1515,   1784,   2193,   2427,   2512,   2808,   3320,   3832,   4856,   5293,   5442,   5541, 
/* msg =    249, deg = 18 */    177,    303,    485,    761,   1236,   1343,   1516,   1785,   2194,   2428,   2513,   2809,   3321,   3833,   4857,   5294,   5443,   5542, 
/* msg =    250, deg = 18 */    178,    304,    486,    762,   1237,   1344,   1517,   1786,   2195,   2429,   2514,   2810,   3322,   3834,   4858,   5295,   5444,   5543, 
/* msg =    251, deg = 18 */    179,    305,    487,    763,   1238,   1345,   1518,   1787,   2196,   2430,   2515,   2811,   3323,   3835,   4859,   5296,   5445,   5544, 
/* msg =    252, deg = 18 */    180,    306,    488,    764,   1239,   1346,   1519,   1788,   2197,   2431,   2516,   2812,   3324,   3836,   4860,   5297,   5446,   5545, 
/* msg =    253, deg = 18 */    181,    307,    489,    765,   1240,   1347,   1520,   1789,   2198,   2304,   2517,   2813,   3325,   3837,   4861,   5298,   5447,   5546, 
/* msg =    254, deg = 18 */    182,    308,    490,    766,   1241,   1348,   1521,   1790,   2199,   2305,   2518,   2814,   3326,   3838,   4862,   5299,   5448,   5547, 
/* msg =    255, deg = 18 */    183,    309,    491,    767,   1242,   1349,   1522,   1791,   2200,   2306,   2519,   2815,   3327,   3839,   4863,   5300,   5449,   5548, 
/* msg =    256, deg = 18 */     25,    314,    408,    768,   1120,   1329,   1489,   1792,   2059,   2396,   2479,   2816,   3328,   3840,   4864,   5209,   5384,   5623, 
/* msg =    257, deg = 18 */     26,    315,    409,    769,   1121,   1330,   1490,   1793,   2060,   2397,   2480,   2817,   3329,   3841,   4865,   5210,   5385,   5624, 
/* msg =    258, deg = 18 */     27,    316,    410,    770,   1122,   1331,   1491,   1794,   2061,   2398,   2481,   2818,   3330,   3842,   4866,   5211,   5386,   5625, 
/* msg =    259, deg = 18 */     28,    317,    411,    771,   1123,   1332,   1492,   1795,   2062,   2399,   2482,   2819,   3331,   3843,   4867,   5212,   5387,   5626, 
/* msg =    260, deg = 18 */     29,    318,    412,    772,   1124,   1333,   1493,   1796,   2063,   2400,   2483,   2820,   3332,   3844,   4868,   5213,   5388,   5627, 
/* msg =    261, deg = 18 */     30,    319,    413,    773,   1125,   1334,   1494,   1797,   2064,   2401,   2484,   2821,   3333,   3845,   4869,   5214,   5389,   5628, 
/* msg =    262, deg = 18 */     31,    320,    414,    774,   1126,   1335,   1495,   1798,   2065,   2402,   2485,   2822,   3334,   3846,   4870,   5215,   5390,   5629, 
/* msg =    263, deg = 18 */     32,    321,    415,    775,   1127,   1336,   1496,   1799,   2066,   2403,   2486,   2823,   3335,   3847,   4871,   5216,   5391,   5630, 
/* msg =    264, deg = 18 */     33,    322,    416,    776,   1128,   1337,   1497,   1800,   2067,   2404,   2487,   2824,   3336,   3848,   4872,   5217,   5392,   5631, 
/* msg =    265, deg = 18 */     34,    323,    417,    777,   1129,   1338,   1498,   1801,   2068,   2405,   2488,   2825,   3337,   3849,   4873,   5218,   5393,   5504, 
/* msg =    266, deg = 18 */     35,    324,    418,    778,   1130,   1339,   1499,   1802,   2069,   2406,   2489,   2826,   3338,   3850,   4874,   5219,   5394,   5505, 
/* msg =    267, deg = 18 */     36,    325,    419,    779,   1131,   1340,   1500,   1803,   2070,   2407,   2490,   2827,   3339,   3851,   4875,   5220,   5395,   5506, 
/* msg =    268, deg = 18 */     37,    326,    420,    780,   1132,   1341,   1501,   1804,   2071,   2408,   2491,   2828,   3340,   3852,   4876,   5221,   5396,   5507, 
/* msg =    269, deg = 18 */     38,    327,    421,    781,   1133,   1342,   1502,   1805,   2072,   2409,   2492,   2829,   3341,   3853,   4877,   5222,   5397,   5508, 
/* msg =    270, deg = 18 */     39,    328,    422,    782,   1134,   1343,   1503,   1806,   2073,   2410,   2493,   2830,   3342,   3854,   4878,   5223,   5398,   5509, 
/* msg =    271, deg = 18 */     40,    329,    423,    783,   1135,   1344,   1504,   1807,   2074,   2411,   2494,   2831,   3343,   3855,   4879,   5224,   5399,   5510, 
/* msg =    272, deg = 18 */     41,    330,    424,    784,   1136,   1345,   1505,   1808,   2075,   2412,   2495,   2832,   3344,   3856,   4880,   5225,   5400,   5511, 
/* msg =    273, deg = 18 */     42,    331,    425,    785,   1137,   1346,   1506,   1809,   2076,   2413,   2496,   2833,   3345,   3857,   4881,   5226,   5401,   5512, 
/* msg =    274, deg = 18 */     43,    332,    426,    786,   1138,   1347,   1507,   1810,   2077,   2414,   2497,   2834,   3346,   3858,   4882,   5227,   5402,   5513, 
/* msg =    275, deg = 18 */     44,    333,    427,    787,   1139,   1348,   1508,   1811,   2078,   2415,   2498,   2835,   3347,   3859,   4883,   5228,   5403,   5514, 
/* msg =    276, deg = 18 */     45,    334,    428,    788,   1140,   1349,   1509,   1812,   2079,   2416,   2499,   2836,   3348,   3860,   4884,   5229,   5404,   5515, 
/* msg =    277, deg = 18 */     46,    335,    429,    789,   1141,   1350,   1510,   1813,   2080,   2417,   2500,   2837,   3349,   3861,   4885,   5230,   5405,   5516, 
/* msg =    278, deg = 18 */     47,    336,    430,    790,   1142,   1351,   1511,   1814,   2081,   2418,   2501,   2838,   3350,   3862,   4886,   5231,   5406,   5517, 
/* msg =    279, deg = 18 */     48,    337,    431,    791,   1143,   1352,   1512,   1815,   2082,   2419,   2502,   2839,   3351,   3863,   4887,   5232,   5407,   5518, 
/* msg =    280, deg = 18 */     49,    338,    432,    792,   1144,   1353,   1513,   1816,   2083,   2420,   2503,   2840,   3352,   3864,   4888,   5233,   5408,   5519, 
/* msg =    281, deg = 18 */     50,    339,    433,    793,   1145,   1354,   1514,   1817,   2084,   2421,   2504,   2841,   3353,   3865,   4889,   5234,   5409,   5520, 
/* msg =    282, deg = 18 */     51,    340,    434,    794,   1146,   1355,   1515,   1818,   2085,   2422,   2505,   2842,   3354,   3866,   4890,   5235,   5410,   5521, 
/* msg =    283, deg = 18 */     52,    341,    435,    795,   1147,   1356,   1516,   1819,   2086,   2423,   2506,   2843,   3355,   3867,   4891,   5236,   5411,   5522, 
/* msg =    284, deg = 18 */     53,    342,    436,    796,   1148,   1357,   1517,   1820,   2087,   2424,   2507,   2844,   3356,   3868,   4892,   5237,   5412,   5523, 
/* msg =    285, deg = 18 */     54,    343,    437,    797,   1149,   1358,   1518,   1821,   2088,   2425,   2508,   2845,   3357,   3869,   4893,   5238,   5413,   5524, 
/* msg =    286, deg = 18 */     55,    344,    438,    798,   1150,   1359,   1519,   1822,   2089,   2426,   2509,   2846,   3358,   3870,   4894,   5239,   5414,   5525, 
/* msg =    287, deg = 18 */     56,    345,    439,    799,   1151,   1360,   1520,   1823,   2090,   2427,   2510,   2847,   3359,   3871,   4895,   5240,   5415,   5526, 
/* msg =    288, deg = 18 */     57,    346,    440,    800,   1024,   1361,   1521,   1824,   2091,   2428,   2511,   2848,   3360,   3872,   4896,   5241,   5416,   5527, 
/* msg =    289, deg = 18 */     58,    347,    441,    801,   1025,   1362,   1522,   1825,   2092,   2429,   2512,   2849,   3361,   3873,   4897,   5242,   5417,   5528, 
/* msg =    290, deg = 18 */     59,    348,    442,    802,   1026,   1363,   1523,   1826,   2093,   2430,   2513,   2850,   3362,   3874,   4898,   5243,   5418,   5529, 
/* msg =    291, deg = 18 */     60,    349,    443,    803,   1027,   1364,   1524,   1827,   2094,   2431,   2514,   2851,   3363,   3875,   4899,   5244,   5419,   5530, 
/* msg =    292, deg = 18 */     61,    350,    444,    804,   1028,   1365,   1525,   1828,   2095,   2304,   2515,   2852,   3364,   3876,   4900,   5245,   5420,   5531, 
/* msg =    293, deg = 18 */     62,    351,    445,    805,   1029,   1366,   1526,   1829,   2096,   2305,   2516,   2853,   3365,   3877,   4901,   5246,   5421,   5532, 
/* msg =    294, deg = 18 */     63,    352,    446,    806,   1030,   1367,   1527,   1830,   2097,   2306,   2517,   2854,   3366,   3878,   4902,   5247,   5422,   5533, 
/* msg =    295, deg = 18 */     64,    353,    447,    807,   1031,   1368,   1528,   1831,   2098,   2307,   2518,   2855,   3367,   3879,   4903,   5120,   5423,   5534, 
/* msg =    296, deg = 18 */     65,    354,    448,    808,   1032,   1369,   1529,   1832,   2099,   2308,   2519,   2856,   3368,   3880,   4904,   5121,   5424,   5535, 
/* msg =    297, deg = 18 */     66,    355,    449,    809,   1033,   1370,   1530,   1833,   2100,   2309,   2520,   2857,   3369,   3881,   4905,   5122,   5425,   5536, 
/* msg =    298, deg = 18 */     67,    356,    450,    810,   1034,   1371,   1531,   1834,   2101,   2310,   2521,   2858,   3370,   3882,   4906,   5123,   5426,   5537, 
/* msg =    299, deg = 18 */     68,    357,    451,    811,   1035,   1372,   1532,   1835,   2102,   2311,   2522,   2859,   3371,   3883,   4907,   5124,   5427,   5538, 
/* msg =    300, deg = 18 */     69,    358,    452,    812,   1036,   1373,   1533,   1836,   2103,   2312,   2523,   2860,   3372,   3884,   4908,   5125,   5428,   5539, 
/* msg =    301, deg = 18 */     70,    359,    453,    813,   1037,   1374,   1534,   1837,   2104,   2313,   2524,   2861,   3373,   3885,   4909,   5126,   5429,   5540, 
/* msg =    302, deg = 18 */     71,    360,    454,    814,   1038,   1375,   1535,   1838,   2105,   2314,   2525,   2862,   3374,   3886,   4910,   5127,   5430,   5541, 
/* msg =    303, deg = 18 */     72,    361,    455,    815,   1039,   1376,   1408,   1839,   2106,   2315,   2526,   2863,   3375,   3887,   4911,   5128,   5431,   5542, 
/* msg =    304, deg = 18 */     73,    362,    456,    816,   1040,   1377,   1409,   1840,   2107,   2316,   2527,   2864,   3376,   3888,   4912,   5129,   5432,   5543, 
/* msg =    305, deg = 18 */     74,    363,    457,    817,   1041,   1378,   1410,   1841,   2108,   2317,   2528,   2865,   3377,   3889,   4913,   5130,   5433,   5544, 
/* msg =    306, deg = 18 */     75,    364,    458,    818,   1042,   1379,   1411,   1842,   2109,   2318,   2529,   2866,   3378,   3890,   4914,   5131,   5434,   5545, 
/* msg =    307, deg = 18 */     76,    365,    459,    819,   1043,   1380,   1412,   1843,   2110,   2319,   2530,   2867,   3379,   3891,   4915,   5132,   5435,   5546, 
/* msg =    308, deg = 18 */     77,    366,    460,    820,   1044,   1381,   1413,   1844,   2111,   2320,   2531,   2868,   3380,   3892,   4916,   5133,   5436,   5547, 
/* msg =    309, deg = 18 */     78,    367,    461,    821,   1045,   1382,   1414,   1845,   2112,   2321,   2532,   2869,   3381,   3893,   4917,   5134,   5437,   5548, 
/* msg =    310, deg = 18 */     79,    368,    462,    822,   1046,   1383,   1415,   1846,   2113,   2322,   2533,   2870,   3382,   3894,   4918,   5135,   5438,   5549, 
/* msg =    311, deg = 18 */     80,    369,    463,    823,   1047,   1384,   1416,   1847,   2114,   2323,   2534,   2871,   3383,   3895,   4919,   5136,   5439,   5550, 
/* msg =    312, deg = 18 */     81,    370,    464,    824,   1048,   1385,   1417,   1848,   2115,   2324,   2535,   2872,   3384,   3896,   4920,   5137,   5440,   5551, 
/* msg =    313, deg = 18 */     82,    371,    465,    825,   1049,   1386,   1418,   1849,   2116,   2325,   2536,   2873,   3385,   3897,   4921,   5138,   5441,   5552, 
/* msg =    314, deg = 18 */     83,    372,    466,    826,   1050,   1387,   1419,   1850,   2117,   2326,   2537,   2874,   3386,   3898,   4922,   5139,   5442,   5553, 
/* msg =    315, deg = 18 */     84,    373,    467,    827,   1051,   1388,   1420,   1851,   2118,   2327,   2538,   2875,   3387,   3899,   4923,   5140,   5443,   5554, 
/* msg =    316, deg = 18 */     85,    374,    468,    828,   1052,   1389,   1421,   1852,   2119,   2328,   2539,   2876,   3388,   3900,   4924,   5141,   5444,   5555, 
/* msg =    317, deg = 18 */     86,    375,    469,    829,   1053,   1390,   1422,   1853,   2120,   2329,   2540,   2877,   3389,   3901,   4925,   5142,   5445,   5556, 
/* msg =    318, deg = 18 */     87,    376,    470,    830,   1054,   1391,   1423,   1854,   2121,   2330,   2541,   2878,   3390,   3902,   4926,   5143,   5446,   5557, 
/* msg =    319, deg = 18 */     88,    377,    471,    831,   1055,   1392,   1424,   1855,   2122,   2331,   2542,   2879,   3391,   3903,   4927,   5144,   5447,   5558, 
/* msg =    320, deg = 18 */     89,    378,    472,    832,   1056,   1393,   1425,   1856,   2123,   2332,   2543,   2880,   3392,   3904,   4928,   5145,   5448,   5559, 
/* msg =    321, deg = 18 */     90,    379,    473,    833,   1057,   1394,   1426,   1857,   2124,   2333,   2544,   2881,   3393,   3905,   4929,   5146,   5449,   5560, 
/* msg =    322, deg = 18 */     91,    380,    474,    834,   1058,   1395,   1427,   1858,   2125,   2334,   2545,   2882,   3394,   3906,   4930,   5147,   5450,   5561, 
/* msg =    323, deg = 18 */     92,    381,    475,    835,   1059,   1396,   1428,   1859,   2126,   2335,   2546,   2883,   3395,   3907,   4931,   5148,   5451,   5562, 
/* msg =    324, deg = 18 */     93,    382,    476,    836,   1060,   1397,   1429,   1860,   2127,   2336,   2547,   2884,   3396,   3908,   4932,   5149,   5452,   5563, 
/* msg =    325, deg = 18 */     94,    383,    477,    837,   1061,   1398,   1430,   1861,   2128,   2337,   2548,   2885,   3397,   3909,   4933,   5150,   5453,   5564, 
/* msg =    326, deg = 18 */     95,    256,    478,    838,   1062,   1399,   1431,   1862,   2129,   2338,   2549,   2886,   3398,   3910,   4934,   5151,   5454,   5565, 
/* msg =    327, deg = 18 */     96,    257,    479,    839,   1063,   1400,   1432,   1863,   2130,   2339,   2550,   2887,   3399,   3911,   4935,   5152,   5455,   5566, 
/* msg =    328, deg = 18 */     97,    258,    480,    840,   1064,   1401,   1433,   1864,   2131,   2340,   2551,   2888,   3400,   3912,   4936,   5153,   5456,   5567, 
/* msg =    329, deg = 18 */     98,    259,    481,    841,   1065,   1402,   1434,   1865,   2132,   2341,   2552,   2889,   3401,   3913,   4937,   5154,   5457,   5568, 
/* msg =    330, deg = 18 */     99,    260,    482,    842,   1066,   1403,   1435,   1866,   2133,   2342,   2553,   2890,   3402,   3914,   4938,   5155,   5458,   5569, 
/* msg =    331, deg = 18 */    100,    261,    483,    843,   1067,   1404,   1436,   1867,   2134,   2343,   2554,   2891,   3403,   3915,   4939,   5156,   5459,   5570, 
/* msg =    332, deg = 18 */    101,    262,    484,    844,   1068,   1405,   1437,   1868,   2135,   2344,   2555,   2892,   3404,   3916,   4940,   5157,   5460,   5571, 
/* msg =    333, deg = 18 */    102,    263,    485,    845,   1069,   1406,   1438,   1869,   2136,   2345,   2556,   2893,   3405,   3917,   4941,   5158,   5461,   5572, 
/* msg =    334, deg = 18 */    103,    264,    486,    846,   1070,   1407,   1439,   1870,   2137,   2346,   2557,   2894,   3406,   3918,   4942,   5159,   5462,   5573, 
/* msg =    335, deg = 18 */    104,    265,    487,    847,   1071,   1280,   1440,   1871,   2138,   2347,   2558,   2895,   3407,   3919,   4943,   5160,   5463,   5574, 
/* msg =    336, deg = 18 */    105,    266,    488,    848,   1072,   1281,   1441,   1872,   2139,   2348,   2559,   2896,   3408,   3920,   4944,   5161,   5464,   5575, 
/* msg =    337, deg = 18 */    106,    267,    489,    849,   1073,   1282,   1442,   1873,   2140,   2349,   2432,   2897,   3409,   3921,   4945,   5162,   5465,   5576, 
/* msg =    338, deg = 18 */    107,    268,    490,    850,   1074,   1283,   1443,   1874,   2141,   2350,   2433,   2898,   3410,   3922,   4946,   5163,   5466,   5577, 
/* msg =    339, deg = 18 */    108,    269,    491,    851,   1075,   1284,   1444,   1875,   2142,   2351,   2434,   2899,   3411,   3923,   4947,   5164,   5467,   5578, 
/* msg =    340, deg = 18 */    109,    270,    492,    852,   1076,   1285,   1445,   1876,   2143,   2352,   2435,   2900,   3412,   3924,   4948,   5165,   5468,   5579, 
/* msg =    341, deg = 18 */    110,    271,    493,    853,   1077,   1286,   1446,   1877,   2144,   2353,   2436,   2901,   3413,   3925,   4949,   5166,   5469,   5580, 
/* msg =    342, deg = 18 */    111,    272,    494,    854,   1078,   1287,   1447,   1878,   2145,   2354,   2437,   2902,   3414,   3926,   4950,   5167,   5470,   5581, 
/* msg =    343, deg = 18 */    112,    273,    495,    855,   1079,   1288,   1448,   1879,   2146,   2355,   2438,   2903,   3415,   3927,   4951,   5168,   5471,   5582, 
/* msg =    344, deg = 18 */    113,    274,    496,    856,   1080,   1289,   1449,   1880,   2147,   2356,   2439,   2904,   3416,   3928,   4952,   5169,   5472,   5583, 
/* msg =    345, deg = 18 */    114,    275,    497,    857,   1081,   1290,   1450,   1881,   2148,   2357,   2440,   2905,   3417,   3929,   4953,   5170,   5473,   5584, 
/* msg =    346, deg = 18 */    115,    276,    498,    858,   1082,   1291,   1451,   1882,   2149,   2358,   2441,   2906,   3418,   3930,   4954,   5171,   5474,   5585, 
/* msg =    347, deg = 18 */    116,    277,    499,    859,   1083,   1292,   1452,   1883,   2150,   2359,   2442,   2907,   3419,   3931,   4955,   5172,   5475,   5586, 
/* msg =    348, deg = 18 */    117,    278,    500,    860,   1084,   1293,   1453,   1884,   2151,   2360,   2443,   2908,   3420,   3932,   4956,   5173,   5476,   5587, 
/* msg =    349, deg = 18 */    118,    279,    501,    861,   1085,   1294,   1454,   1885,   2152,   2361,   2444,   2909,   3421,   3933,   4957,   5174,   5477,   5588, 
/* msg =    350, deg = 18 */    119,    280,    502,    862,   1086,   1295,   1455,   1886,   2153,   2362,   2445,   2910,   3422,   3934,   4958,   5175,   5478,   5589, 
/* msg =    351, deg = 18 */    120,    281,    503,    863,   1087,   1296,   1456,   1887,   2154,   2363,   2446,   2911,   3423,   3935,   4959,   5176,   5479,   5590, 
/* msg =    352, deg = 18 */    121,    282,    504,    864,   1088,   1297,   1457,   1888,   2155,   2364,   2447,   2912,   3424,   3936,   4960,   5177,   5480,   5591, 
/* msg =    353, deg = 18 */    122,    283,    505,    865,   1089,   1298,   1458,   1889,   2156,   2365,   2448,   2913,   3425,   3937,   4961,   5178,   5481,   5592, 
/* msg =    354, deg = 18 */    123,    284,    506,    866,   1090,   1299,   1459,   1890,   2157,   2366,   2449,   2914,   3426,   3938,   4962,   5179,   5482,   5593, 
/* msg =    355, deg = 18 */    124,    285,    507,    867,   1091,   1300,   1460,   1891,   2158,   2367,   2450,   2915,   3427,   3939,   4963,   5180,   5483,   5594, 
/* msg =    356, deg = 18 */    125,    286,    508,    868,   1092,   1301,   1461,   1892,   2159,   2368,   2451,   2916,   3428,   3940,   4964,   5181,   5484,   5595, 
/* msg =    357, deg = 18 */    126,    287,    509,    869,   1093,   1302,   1462,   1893,   2160,   2369,   2452,   2917,   3429,   3941,   4965,   5182,   5485,   5596, 
/* msg =    358, deg = 18 */    127,    288,    510,    870,   1094,   1303,   1463,   1894,   2161,   2370,   2453,   2918,   3430,   3942,   4966,   5183,   5486,   5597, 
/* msg =    359, deg = 18 */      0,    289,    511,    871,   1095,   1304,   1464,   1895,   2162,   2371,   2454,   2919,   3431,   3943,   4967,   5184,   5487,   5598, 
/* msg =    360, deg = 18 */      1,    290,    384,    872,   1096,   1305,   1465,   1896,   2163,   2372,   2455,   2920,   3432,   3944,   4968,   5185,   5488,   5599, 
/* msg =    361, deg = 18 */      2,    291,    385,    873,   1097,   1306,   1466,   1897,   2164,   2373,   2456,   2921,   3433,   3945,   4969,   5186,   5489,   5600, 
/* msg =    362, deg = 18 */      3,    292,    386,    874,   1098,   1307,   1467,   1898,   2165,   2374,   2457,   2922,   3434,   3946,   4970,   5187,   5490,   5601, 
/* msg =    363, deg = 18 */      4,    293,    387,    875,   1099,   1308,   1468,   1899,   2166,   2375,   2458,   2923,   3435,   3947,   4971,   5188,   5491,   5602, 
/* msg =    364, deg = 18 */      5,    294,    388,    876,   1100,   1309,   1469,   1900,   2167,   2376,   2459,   2924,   3436,   3948,   4972,   5189,   5492,   5603, 
/* msg =    365, deg = 18 */      6,    295,    389,    877,   1101,   1310,   1470,   1901,   2168,   2377,   2460,   2925,   3437,   3949,   4973,   5190,   5493,   5604, 
/* msg =    366, deg = 18 */      7,    296,    390,    878,   1102,   1311,   1471,   1902,   2169,   2378,   2461,   2926,   3438,   3950,   4974,   5191,   5494,   5605, 
/* msg =    367, deg = 18 */      8,    297,    391,    879,   1103,   1312,   1472,   1903,   2170,   2379,   2462,   2927,   3439,   3951,   4975,   5192,   5495,   5606, 
/* msg =    368, deg = 18 */      9,    298,    392,    880,   1104,   1313,   1473,   1904,   2171,   2380,   2463,   2928,   3440,   3952,   4976,   5193,   5496,   5607, 
/* msg =    369, deg = 18 */     10,    299,    393,    881,   1105,   1314,   1474,   1905,   2172,   2381,   2464,   2929,   3441,   3953,   4977,   5194,   5497,   5608, 
/* msg =    370, deg = 18 */     11,    300,    394,    882,   1106,   1315,   1475,   1906,   2173,   2382,   2465,   2930,   3442,   3954,   4978,   5195,   5498,   5609, 
/* msg =    371, deg = 18 */     12,    301,    395,    883,   1107,   1316,   1476,   1907,   2174,   2383,   2466,   2931,   3443,   3955,   4979,   5196,   5499,   5610, 
/* msg =    372, deg = 18 */     13,    302,    396,    884,   1108,   1317,   1477,   1908,   2175,   2384,   2467,   2932,   3444,   3956,   4980,   5197,   5500,   5611, 
/* msg =    373, deg = 18 */     14,    303,    397,    885,   1109,   1318,   1478,   1909,   2048,   2385,   2468,   2933,   3445,   3957,   4981,   5198,   5501,   5612, 
/* msg =    374, deg = 18 */     15,    304,    398,    886,   1110,   1319,   1479,   1910,   2049,   2386,   2469,   2934,   3446,   3958,   4982,   5199,   5502,   5613, 
/* msg =    375, deg = 18 */     16,    305,    399,    887,   1111,   1320,   1480,   1911,   2050,   2387,   2470,   2935,   3447,   3959,   4983,   5200,   5503,   5614, 
/* msg =    376, deg = 18 */     17,    306,    400,    888,   1112,   1321,   1481,   1912,   2051,   2388,   2471,   2936,   3448,   3960,   4984,   5201,   5376,   5615, 
/* msg =    377, deg = 18 */     18,    307,    401,    889,   1113,   1322,   1482,   1913,   2052,   2389,   2472,   2937,   3449,   3961,   4985,   5202,   5377,   5616, 
/* msg =    378, deg = 18 */     19,    308,    402,    890,   1114,   1323,   1483,   1914,   2053,   2390,   2473,   2938,   3450,   3962,   4986,   5203,   5378,   5617, 
/* msg =    379, deg = 18 */     20,    309,    403,    891,   1115,   1324,   1484,   1915,   2054,   2391,   2474,   2939,   3451,   3963,   4987,   5204,   5379,   5618, 
/* msg =    380, deg = 18 */     21,    310,    404,    892,   1116,   1325,   1485,   1916,   2055,   2392,   2475,   2940,   3452,   3964,   4988,   5205,   5380,   5619, 
/* msg =    381, deg = 18 */     22,    311,    405,    893,   1117,   1326,   1486,   1917,   2056,   2393,   2476,   2941,   3453,   3965,   4989,   5206,   5381,   5620, 
/* msg =    382, deg = 18 */     23,    312,    406,    894,   1118,   1327,   1487,   1918,   2057,   2394,   2477,   2942,   3454,   3966,   4990,   5207,   5382,   5621, 
/* msg =    383, deg = 18 */     24,    313,    407,    895,   1119,   1328,   1488,   1919,   2058,   2395,   2478,   2943,   3455,   3967,   4991,   5208,   5383,   5622, 
/* msg =    384, deg = 18 */     98,    151,    511,    896,   1143,   1226,   1500,   1920,   2139,   2179,   2535,   2944,   3456,   3968,   4992,   5217,   5360,   5539, 
/* msg =    385, deg = 18 */     99,    152,    384,    897,   1144,   1227,   1501,   1921,   2140,   2180,   2536,   2945,   3457,   3969,   4993,   5218,   5361,   5540, 
/* msg =    386, deg = 18 */    100,    153,    385,    898,   1145,   1228,   1502,   1922,   2141,   2181,   2537,   2946,   3458,   3970,   4994,   5219,   5362,   5541, 
/* msg =    387, deg = 18 */    101,    154,    386,    899,   1146,   1229,   1503,   1923,   2142,   2182,   2538,   2947,   3459,   3971,   4995,   5220,   5363,   5542, 
/* msg =    388, deg = 18 */    102,    155,    387,    900,   1147,   1230,   1504,   1924,   2143,   2183,   2539,   2948,   3460,   3972,   4996,   5221,   5364,   5543, 
/* msg =    389, deg = 18 */    103,    156,    388,    901,   1148,   1231,   1505,   1925,   2144,   2184,   2540,   2949,   3461,   3973,   4997,   5222,   5365,   5544, 
/* msg =    390, deg = 18 */    104,    157,    389,    902,   1149,   1232,   1506,   1926,   2145,   2185,   2541,   2950,   3462,   3974,   4998,   5223,   5366,   5545, 
/* msg =    391, deg = 18 */    105,    158,    390,    903,   1150,   1233,   1507,   1927,   2146,   2186,   2542,   2951,   3463,   3975,   4999,   5224,   5367,   5546, 
/* msg =    392, deg = 18 */    106,    159,    391,    904,   1151,   1234,   1508,   1928,   2147,   2187,   2543,   2952,   3464,   3976,   5000,   5225,   5368,   5547, 
/* msg =    393, deg = 18 */    107,    160,    392,    905,   1024,   1235,   1509,   1929,   2148,   2188,   2544,   2953,   3465,   3977,   5001,   5226,   5369,   5548, 
/* msg =    394, deg = 18 */    108,    161,    393,    906,   1025,   1236,   1510,   1930,   2149,   2189,   2545,   2954,   3466,   3978,   5002,   5227,   5370,   5549, 
/* msg =    395, deg = 18 */    109,    162,    394,    907,   1026,   1237,   1511,   1931,   2150,   2190,   2546,   2955,   3467,   3979,   5003,   5228,   5371,   5550, 
/* msg =    396, deg = 18 */    110,    163,    395,    908,   1027,   1238,   1512,   1932,   2151,   2191,   2547,   2956,   3468,   3980,   5004,   5229,   5372,   5551, 
/* msg =    397, deg = 18 */    111,    164,    396,    909,   1028,   1239,   1513,   1933,   2152,   2192,   2548,   2957,   3469,   3981,   5005,   5230,   5373,   5552, 
/* msg =    398, deg = 18 */    112,    165,    397,    910,   1029,   1240,   1514,   1934,   2153,   2193,   2549,   2958,   3470,   3982,   5006,   5231,   5374,   5553, 
/* msg =    399, deg = 18 */    113,    166,    398,    911,   1030,   1241,   1515,   1935,   2154,   2194,   2550,   2959,   3471,   3983,   5007,   5232,   5375,   5554, 
/* msg =    400, deg = 18 */    114,    167,    399,    912,   1031,   1242,   1516,   1936,   2155,   2195,   2551,   2960,   3472,   3984,   5008,   5233,   5248,   5555, 
/* msg =    401, deg = 18 */    115,    168,    400,    913,   1032,   1243,   1517,   1937,   2156,   2196,   2552,   2961,   3473,   3985,   5009,   5234,   5249,   5556, 
/* msg =    402, deg = 18 */    116,    169,    401,    914,   1033,   1244,   1518,   1938,   2157,   2197,   2553,   2962,   3474,   3986,   5010,   5235,   5250,   5557, 
/* msg =    403, deg = 18 */    117,    170,    402,    915,   1034,   1245,   1519,   1939,   2158,   2198,   2554,   2963,   3475,   3987,   5011,   5236,   5251,   5558, 
/* msg =    404, deg = 18 */    118,    171,    403,    916,   1035,   1246,   1520,   1940,   2159,   2199,   2555,   2964,   3476,   3988,   5012,   5237,   5252,   5559, 
/* msg =    405, deg = 18 */    119,    172,    404,    917,   1036,   1247,   1521,   1941,   2160,   2200,   2556,   2965,   3477,   3989,   5013,   5238,   5253,   5560, 
/* msg =    406, deg = 18 */    120,    173,    405,    918,   1037,   1248,   1522,   1942,   2161,   2201,   2557,   2966,   3478,   3990,   5014,   5239,   5254,   5561, 
/* msg =    407, deg = 18 */    121,    174,    406,    919,   1038,   1249,   1523,   1943,   2162,   2202,   2558,   2967,   3479,   3991,   5015,   5240,   5255,   5562, 
/* msg =    408, deg = 18 */    122,    175,    407,    920,   1039,   1250,   1524,   1944,   2163,   2203,   2559,   2968,   3480,   3992,   5016,   5241,   5256,   5563, 
/* msg =    409, deg = 18 */    123,    176,    408,    921,   1040,   1251,   1525,   1945,   2164,   2204,   2432,   2969,   3481,   3993,   5017,   5242,   5257,   5564, 
/* msg =    410, deg = 18 */    124,    177,    409,    922,   1041,   1252,   1526,   1946,   2165,   2205,   2433,   2970,   3482,   3994,   5018,   5243,   5258,   5565, 
/* msg =    411, deg = 18 */    125,    178,    410,    923,   1042,   1253,   1527,   1947,   2166,   2206,   2434,   2971,   3483,   3995,   5019,   5244,   5259,   5566, 
/* msg =    412, deg = 18 */    126,    179,    411,    924,   1043,   1254,   1528,   1948,   2167,   2207,   2435,   2972,   3484,   3996,   5020,   5245,   5260,   5567, 
/* msg =    413, deg = 18 */    127,    180,    412,    925,   1044,   1255,   1529,   1949,   2168,   2208,   2436,   2973,   3485,   3997,   5021,   5246,   5261,   5568, 
/* msg =    414, deg = 18 */      0,    181,    413,    926,   1045,   1256,   1530,   1950,   2169,   2209,   2437,   2974,   3486,   3998,   5022,   5247,   5262,   5569, 
/* msg =    415, deg = 18 */      1,    182,    414,    927,   1046,   1257,   1531,   1951,   2170,   2210,   2438,   2975,   3487,   3999,   5023,   5120,   5263,   5570, 
/* msg =    416, deg = 18 */      2,    183,    415,    928,   1047,   1258,   1532,   1952,   2171,   2211,   2439,   2976,   3488,   4000,   5024,   5121,   5264,   5571, 
/* msg =    417, deg = 18 */      3,    184,    416,    929,   1048,   1259,   1533,   1953,   2172,   2212,   2440,   2977,   3489,   4001,   5025,   5122,   5265,   5572, 
/* msg =    418, deg = 18 */      4,    185,    417,    930,   1049,   1260,   1534,   1954,   2173,   2213,   2441,   2978,   3490,   4002,   5026,   5123,   5266,   5573, 
/* msg =    419, deg = 18 */      5,    186,    418,    931,   1050,   1261,   1535,   1955,   2174,   2214,   2442,   2979,   3491,   4003,   5027,   5124,   5267,   5574, 
/* msg =    420, deg = 18 */      6,    187,    419,    932,   1051,   1262,   1408,   1956,   2175,   2215,   2443,   2980,   3492,   4004,   5028,   5125,   5268,   5575, 
/* msg =    421, deg = 18 */      7,    188,    420,    933,   1052,   1263,   1409,   1957,   2048,   2216,   2444,   2981,   3493,   4005,   5029,   5126,   5269,   5576, 
/* msg =    422, deg = 18 */      8,    189,    421,    934,   1053,   1264,   1410,   1958,   2049,   2217,   2445,   2982,   3494,   4006,   5030,   5127,   5270,   5577, 
/* msg =    423, deg = 18 */      9,    190,    422,    935,   1054,   1265,   1411,   1959,   2050,   2218,   2446,   2983,   3495,   4007,   5031,   5128,   5271,   5578, 
/* msg =    424, deg = 18 */     10,    191,    423,    936,   1055,   1266,   1412,   1960,   2051,   2219,   2447,   2984,   3496,   4008,   5032,   5129,   5272,   5579, 
/* msg =    425, deg = 18 */     11,    192,    424,    937,   1056,   1267,   1413,   1961,   2052,   2220,   2448,   2985,   3497,   4009,   5033,   5130,   5273,   5580, 
/* msg =    426, deg = 18 */     12,    193,    425,    938,   1057,   1268,   1414,   1962,   2053,   2221,   2449,   2986,   3498,   4010,   5034,   5131,   5274,   5581, 
/* msg =    427, deg = 18 */     13,    194,    426,    939,   1058,   1269,   1415,   1963,   2054,   2222,   2450,   2987,   3499,   4011,   5035,   5132,   5275,   5582, 
/* msg =    428, deg = 18 */     14,    195,    427,    940,   1059,   1270,   1416,   1964,   2055,   2223,   2451,   2988,   3500,   4012,   5036,   5133,   5276,   5583, 
/* msg =    429, deg = 18 */     15,    196,    428,    941,   1060,   1271,   1417,   1965,   2056,   2224,   2452,   2989,   3501,   4013,   5037,   5134,   5277,   5584, 
/* msg =    430, deg = 18 */     16,    197,    429,    942,   1061,   1272,   1418,   1966,   2057,   2225,   2453,   2990,   3502,   4014,   5038,   5135,   5278,   5585, 
/* msg =    431, deg = 18 */     17,    198,    430,    943,   1062,   1273,   1419,   1967,   2058,   2226,   2454,   2991,   3503,   4015,   5039,   5136,   5279,   5586, 
/* msg =    432, deg = 18 */     18,    199,    431,    944,   1063,   1274,   1420,   1968,   2059,   2227,   2455,   2992,   3504,   4016,   5040,   5137,   5280,   5587, 
/* msg =    433, deg = 18 */     19,    200,    432,    945,   1064,   1275,   1421,   1969,   2060,   2228,   2456,   2993,   3505,   4017,   5041,   5138,   5281,   5588, 
/* msg =    434, deg = 18 */     20,    201,    433,    946,   1065,   1276,   1422,   1970,   2061,   2229,   2457,   2994,   3506,   4018,   5042,   5139,   5282,   5589, 
/* msg =    435, deg = 18 */     21,    202,    434,    947,   1066,   1277,   1423,   1971,   2062,   2230,   2458,   2995,   3507,   4019,   5043,   5140,   5283,   5590, 
/* msg =    436, deg = 18 */     22,    203,    435,    948,   1067,   1278,   1424,   1972,   2063,   2231,   2459,   2996,   3508,   4020,   5044,   5141,   5284,   5591, 
/* msg =    437, deg = 18 */     23,    204,    436,    949,   1068,   1279,   1425,   1973,   2064,   2232,   2460,   2997,   3509,   4021,   5045,   5142,   5285,   5592, 
/* msg =    438, deg = 18 */     24,    205,    437,    950,   1069,   1152,   1426,   1974,   2065,   2233,   2461,   2998,   3510,   4022,   5046,   5143,   5286,   5593, 
/* msg =    439, deg = 18 */     25,    206,    438,    951,   1070,   1153,   1427,   1975,   2066,   2234,   2462,   2999,   3511,   4023,   5047,   5144,   5287,   5594, 
/* msg =    440, deg = 18 */     26,    207,    439,    952,   1071,   1154,   1428,   1976,   2067,   2235,   2463,   3000,   3512,   4024,   5048,   5145,   5288,   5595, 
/* msg =    441, deg = 18 */     27,    208,    440,    953,   1072,   1155,   1429,   1977,   2068,   2236,   2464,   3001,   3513,   4025,   5049,   5146,   5289,   5596, 
/* msg =    442, deg = 18 */     28,    209,    441,    954,   1073,   1156,   1430,   1978,   2069,   2237,   2465,   3002,   3514,   4026,   5050,   5147,   5290,   5597, 
/* msg =    443, deg = 18 */     29,    210,    442,    955,   1074,   1157,   1431,   1979,   2070,   2238,   2466,   3003,   3515,   4027,   5051,   5148,   5291,   5598, 
/* msg =    444, deg = 18 */     30,    211,    443,    956,   1075,   1158,   1432,   1980,   2071,   2239,   2467,   3004,   3516,   4028,   5052,   5149,   5292,   5599, 
/* msg =    445, deg = 18 */     31,    212,    444,    957,   1076,   1159,   1433,   1981,   2072,   2240,   2468,   3005,   3517,   4029,   5053,   5150,   5293,   5600, 
/* msg =    446, deg = 18 */     32,    213,    445,    958,   1077,   1160,   1434,   1982,   2073,   2241,   2469,   3006,   3518,   4030,   5054,   5151,   5294,   5601, 
/* msg =    447, deg = 18 */     33,    214,    446,    959,   1078,   1161,   1435,   1983,   2074,   2242,   2470,   3007,   3519,   4031,   5055,   5152,   5295,   5602, 
/* msg =    448, deg = 18 */     34,    215,    447,    960,   1079,   1162,   1436,   1984,   2075,   2243,   2471,   3008,   3520,   4032,   5056,   5153,   5296,   5603, 
/* msg =    449, deg = 18 */     35,    216,    448,    961,   1080,   1163,   1437,   1985,   2076,   2244,   2472,   3009,   3521,   4033,   5057,   5154,   5297,   5604, 
/* msg =    450, deg = 18 */     36,    217,    449,    962,   1081,   1164,   1438,   1986,   2077,   2245,   2473,   3010,   3522,   4034,   5058,   5155,   5298,   5605, 
/* msg =    451, deg = 18 */     37,    218,    450,    963,   1082,   1165,   1439,   1987,   2078,   2246,   2474,   3011,   3523,   4035,   5059,   5156,   5299,   5606, 
/* msg =    452, deg = 18 */     38,    219,    451,    964,   1083,   1166,   1440,   1988,   2079,   2247,   2475,   3012,   3524,   4036,   5060,   5157,   5300,   5607, 
/* msg =    453, deg = 18 */     39,    220,    452,    965,   1084,   1167,   1441,   1989,   2080,   2248,   2476,   3013,   3525,   4037,   5061,   5158,   5301,   5608, 
/* msg =    454, deg = 18 */     40,    221,    453,    966,   1085,   1168,   1442,   1990,   2081,   2249,   2477,   3014,   3526,   4038,   5062,   5159,   5302,   5609, 
/* msg =    455, deg = 18 */     41,    222,    454,    967,   1086,   1169,   1443,   1991,   2082,   2250,   2478,   3015,   3527,   4039,   5063,   5160,   5303,   5610, 
/* msg =    456, deg = 18 */     42,    223,    455,    968,   1087,   1170,   1444,   1992,   2083,   2251,   2479,   3016,   3528,   4040,   5064,   5161,   5304,   5611, 
/* msg =    457, deg = 18 */     43,    224,    456,    969,   1088,   1171,   1445,   1993,   2084,   2252,   2480,   3017,   3529,   4041,   5065,   5162,   5305,   5612, 
/* msg =    458, deg = 18 */     44,    225,    457,    970,   1089,   1172,   1446,   1994,   2085,   2253,   2481,   3018,   3530,   4042,   5066,   5163,   5306,   5613, 
/* msg =    459, deg = 18 */     45,    226,    458,    971,   1090,   1173,   1447,   1995,   2086,   2254,   2482,   3019,   3531,   4043,   5067,   5164,   5307,   5614, 
/* msg =    460, deg = 18 */     46,    227,    459,    972,   1091,   1174,   1448,   1996,   2087,   2255,   2483,   3020,   3532,   4044,   5068,   5165,   5308,   5615, 
/* msg =    461, deg = 18 */     47,    228,    460,    973,   1092,   1175,   1449,   1997,   2088,   2256,   2484,   3021,   3533,   4045,   5069,   5166,   5309,   5616, 
/* msg =    462, deg = 18 */     48,    229,    461,    974,   1093,   1176,   1450,   1998,   2089,   2257,   2485,   3022,   3534,   4046,   5070,   5167,   5310,   5617, 
/* msg =    463, deg = 18 */     49,    230,    462,    975,   1094,   1177,   1451,   1999,   2090,   2258,   2486,   3023,   3535,   4047,   5071,   5168,   5311,   5618, 
/* msg =    464, deg = 18 */     50,    231,    463,    976,   1095,   1178,   1452,   2000,   2091,   2259,   2487,   3024,   3536,   4048,   5072,   5169,   5312,   5619, 
/* msg =    465, deg = 18 */     51,    232,    464,    977,   1096,   1179,   1453,   2001,   2092,   2260,   2488,   3025,   3537,   4049,   5073,   5170,   5313,   5620, 
/* msg =    466, deg = 18 */     52,    233,    465,    978,   1097,   1180,   1454,   2002,   2093,   2261,   2489,   3026,   3538,   4050,   5074,   5171,   5314,   5621, 
/* msg =    467, deg = 18 */     53,    234,    466,    979,   1098,   1181,   1455,   2003,   2094,   2262,   2490,   3027,   3539,   4051,   5075,   5172,   5315,   5622, 
/* msg =    468, deg = 18 */     54,    235,    467,    980,   1099,   1182,   1456,   2004,   2095,   2263,   2491,   3028,   3540,   4052,   5076,   5173,   5316,   5623, 
/* msg =    469, deg = 18 */     55,    236,    468,    981,   1100,   1183,   1457,   2005,   2096,   2264,   2492,   3029,   3541,   4053,   5077,   5174,   5317,   5624, 
/* msg =    470, deg = 18 */     56,    237,    469,    982,   1101,   1184,   1458,   2006,   2097,   2265,   2493,   3030,   3542,   4054,   5078,   5175,   5318,   5625, 
/* msg =    471, deg = 18 */     57,    238,    470,    983,   1102,   1185,   1459,   2007,   2098,   2266,   2494,   3031,   3543,   4055,   5079,   5176,   5319,   5626, 
/* msg =    472, deg = 18 */     58,    239,    471,    984,   1103,   1186,   1460,   2008,   2099,   2267,   2495,   3032,   3544,   4056,   5080,   5177,   5320,   5627, 
/* msg =    473, deg = 18 */     59,    240,    472,    985,   1104,   1187,   1461,   2009,   2100,   2268,   2496,   3033,   3545,   4057,   5081,   5178,   5321,   5628, 
/* msg =    474, deg = 18 */     60,    241,    473,    986,   1105,   1188,   1462,   2010,   2101,   2269,   2497,   3034,   3546,   4058,   5082,   5179,   5322,   5629, 
/* msg =    475, deg = 18 */     61,    242,    474,    987,   1106,   1189,   1463,   2011,   2102,   2270,   2498,   3035,   3547,   4059,   5083,   5180,   5323,   5630, 
/* msg =    476, deg = 18 */     62,    243,    475,    988,   1107,   1190,   1464,   2012,   2103,   2271,   2499,   3036,   3548,   4060,   5084,   5181,   5324,   5631, 
/* msg =    477, deg = 18 */     63,    244,    476,    989,   1108,   1191,   1465,   2013,   2104,   2272,   2500,   3037,   3549,   4061,   5085,   5182,   5325,   5504, 
/* msg =    478, deg = 18 */     64,    245,    477,    990,   1109,   1192,   1466,   2014,   2105,   2273,   2501,   3038,   3550,   4062,   5086,   5183,   5326,   5505, 
/* msg =    479, deg = 18 */     65,    246,    478,    991,   1110,   1193,   1467,   2015,   2106,   2274,   2502,   3039,   3551,   4063,   5087,   5184,   5327,   5506, 
/* msg =    480, deg = 18 */     66,    247,    479,    992,   1111,   1194,   1468,   2016,   2107,   2275,   2503,   3040,   3552,   4064,   5088,   5185,   5328,   5507, 
/* msg =    481, deg = 18 */     67,    248,    480,    993,   1112,   1195,   1469,   2017,   2108,   2276,   2504,   3041,   3553,   4065,   5089,   5186,   5329,   5508, 
/* msg =    482, deg = 18 */     68,    249,    481,    994,   1113,   1196,   1470,   2018,   2109,   2277,   2505,   3042,   3554,   4066,   5090,   5187,   5330,   5509, 
/* msg =    483, deg = 18 */     69,    250,    482,    995,   1114,   1197,   1471,   2019,   2110,   2278,   2506,   3043,   3555,   4067,   5091,   5188,   5331,   5510, 
/* msg =    484, deg = 18 */     70,    251,    483,    996,   1115,   1198,   1472,   2020,   2111,   2279,   2507,   3044,   3556,   4068,   5092,   5189,   5332,   5511, 
/* msg =    485, deg = 18 */     71,    252,    484,    997,   1116,   1199,   1473,   2021,   2112,   2280,   2508,   3045,   3557,   4069,   5093,   5190,   5333,   5512, 
/* msg =    486, deg = 18 */     72,    253,    485,    998,   1117,   1200,   1474,   2022,   2113,   2281,   2509,   3046,   3558,   4070,   5094,   5191,   5334,   5513, 
/* msg =    487, deg = 18 */     73,    254,    486,    999,   1118,   1201,   1475,   2023,   2114,   2282,   2510,   3047,   3559,   4071,   5095,   5192,   5335,   5514, 
/* msg =    488, deg = 18 */     74,    255,    487,   1000,   1119,   1202,   1476,   2024,   2115,   2283,   2511,   3048,   3560,   4072,   5096,   5193,   5336,   5515, 
/* msg =    489, deg = 18 */     75,    128,    488,   1001,   1120,   1203,   1477,   2025,   2116,   2284,   2512,   3049,   3561,   4073,   5097,   5194,   5337,   5516, 
/* msg =    490, deg = 18 */     76,    129,    489,   1002,   1121,   1204,   1478,   2026,   2117,   2285,   2513,   3050,   3562,   4074,   5098,   5195,   5338,   5517, 
/* msg =    491, deg = 18 */     77,    130,    490,   1003,   1122,   1205,   1479,   2027,   2118,   2286,   2514,   3051,   3563,   4075,   5099,   5196,   5339,   5518, 
/* msg =    492, deg = 18 */     78,    131,    491,   1004,   1123,   1206,   1480,   2028,   2119,   2287,   2515,   3052,   3564,   4076,   5100,   5197,   5340,   5519, 
/* msg =    493, deg = 18 */     79,    132,    492,   1005,   1124,   1207,   1481,   2029,   2120,   2288,   2516,   3053,   3565,   4077,   5101,   5198,   5341,   5520, 
/* msg =    494, deg = 18 */     80,    133,    493,   1006,   1125,   1208,   1482,   2030,   2121,   2289,   2517,   3054,   3566,   4078,   5102,   5199,   5342,   5521, 
/* msg =    495, deg = 18 */     81,    134,    494,   1007,   1126,   1209,   1483,   2031,   2122,   2290,   2518,   3055,   3567,   4079,   5103,   5200,   5343,   5522, 
/* msg =    496, deg = 18 */     82,    135,    495,   1008,   1127,   1210,   1484,   2032,   2123,   2291,   2519,   3056,   3568,   4080,   5104,   5201,   5344,   5523, 
/* msg =    497, deg = 18 */     83,    136,    496,   1009,   1128,   1211,   1485,   2033,   2124,   2292,   2520,   3057,   3569,   4081,   5105,   5202,   5345,   5524, 
/* msg =    498, deg = 18 */     84,    137,    497,   1010,   1129,   1212,   1486,   2034,   2125,   2293,   2521,   3058,   3570,   4082,   5106,   5203,   5346,   5525, 
/* msg =    499, deg = 18 */     85,    138,    498,   1011,   1130,   1213,   1487,   2035,   2126,   2294,   2522,   3059,   3571,   4083,   5107,   5204,   5347,   5526, 
/* msg =    500, deg = 18 */     86,    139,    499,   1012,   1131,   1214,   1488,   2036,   2127,   2295,   2523,   3060,   3572,   4084,   5108,   5205,   5348,   5527, 
/* msg =    501, deg = 18 */     87,    140,    500,   1013,   1132,   1215,   1489,   2037,   2128,   2296,   2524,   3061,   3573,   4085,   5109,   5206,   5349,   5528, 
/* msg =    502, deg = 18 */     88,    141,    501,   1014,   1133,   1216,   1490,   2038,   2129,   2297,   2525,   3062,   3574,   4086,   5110,   5207,   5350,   5529, 
/* msg =    503, deg = 18 */     89,    142,    502,   1015,   1134,   1217,   1491,   2039,   2130,   2298,   2526,   3063,   3575,   4087,   5111,   5208,   5351,   5530, 
/* msg =    504, deg = 18 */     90,    143,    503,   1016,   1135,   1218,   1492,   2040,   2131,   2299,   2527,   3064,   3576,   4088,   5112,   5209,   5352,   5531, 
/* msg =    505, deg = 18 */     91,    144,    504,   1017,   1136,   1219,   1493,   2041,   2132,   2300,   2528,   3065,   3577,   4089,   5113,   5210,   5353,   5532, 
/* msg =    506, deg = 18 */     92,    145,    505,   1018,   1137,   1220,   1494,   2042,   2133,   2301,   2529,   3066,   3578,   4090,   5114,   5211,   5354,   5533, 
/* msg =    507, deg = 18 */     93,    146,    506,   1019,   1138,   1221,   1495,   2043,   2134,   2302,   2530,   3067,   3579,   4091,   5115,   5212,   5355,   5534, 
/* msg =    508, deg = 18 */     94,    147,    507,   1020,   1139,   1222,   1496,   2044,   2135,   2303,   2531,   3068,   3580,   4092,   5116,   5213,   5356,   5535, 
/* msg =    509, deg = 18 */     95,    148,    508,   1021,   1140,   1223,   1497,   2045,   2136,   2176,   2532,   3069,   3581,   4093,   5117,   5214,   5357,   5536, 
/* msg =    510, deg = 18 */     96,    149,    509,   1022,   1141,   1224,   1498,   2046,   2137,   2177,   2533,   3070,   3582,   4094,   5118,   5215,   5358,   5537, 
/* msg =    511, deg = 18 */     97,    150,    510,   1023,   1142,   1225,   1499,   2047,   2138,   2178,   2534,   3071,   3583,   4095,   5119,   5216,   5359,   5538, 
/* msg =    512, deg = 18 */      0,    758,    801,   1022,   1024,   1568,   1709,   1905,   2048,   2626,   2855,   3028,   3072,   3890,   3997,   4723,   4766,   5120, 
/* msg =    513, deg = 18 */      1,    759,    802,   1023,   1025,   1569,   1710,   1906,   2049,   2627,   2856,   3029,   3073,   3891,   3998,   4724,   4767,   5121, 
/* msg =    514, deg = 18 */      2,    760,    803,    896,   1026,   1570,   1711,   1907,   2050,   2628,   2857,   3030,   3074,   3892,   3999,   4725,   4768,   5122, 
/* msg =    515, deg = 18 */      3,    761,    804,    897,   1027,   1571,   1712,   1908,   2051,   2629,   2858,   3031,   3075,   3893,   4000,   4726,   4769,   5123, 
/* msg =    516, deg = 18 */      4,    762,    805,    898,   1028,   1572,   1713,   1909,   2052,   2630,   2859,   3032,   3076,   3894,   4001,   4727,   4770,   5124, 
/* msg =    517, deg = 18 */      5,    763,    806,    899,   1029,   1573,   1714,   1910,   2053,   2631,   2860,   3033,   3077,   3895,   4002,   4728,   4771,   5125, 
/* msg =    518, deg = 18 */      6,    764,    807,    900,   1030,   1574,   1715,   1911,   2054,   2632,   2861,   3034,   3078,   3896,   4003,   4729,   4772,   5126, 
/* msg =    519, deg = 18 */      7,    765,    808,    901,   1031,   1575,   1716,   1912,   2055,   2633,   2862,   3035,   3079,   3897,   4004,   4730,   4773,   5127, 
/* msg =    520, deg = 18 */      8,    766,    809,    902,   1032,   1576,   1717,   1913,   2056,   2634,   2863,   3036,   3080,   3898,   4005,   4731,   4774,   5128, 
/* msg =    521, deg = 18 */      9,    767,    810,    903,   1033,   1577,   1718,   1914,   2057,   2635,   2864,   3037,   3081,   3899,   4006,   4732,   4775,   5129, 
/* msg =    522, deg = 18 */     10,    640,    811,    904,   1034,   1578,   1719,   1915,   2058,   2636,   2865,   3038,   3082,   3900,   4007,   4733,   4776,   5130, 
/* msg =    523, deg = 18 */     11,    641,    812,    905,   1035,   1579,   1720,   1916,   2059,   2637,   2866,   3039,   3083,   3901,   4008,   4734,   4777,   5131, 
/* msg =    524, deg = 18 */     12,    642,    813,    906,   1036,   1580,   1721,   1917,   2060,   2638,   2867,   3040,   3084,   3902,   4009,   4735,   4778,   5132, 
/* msg =    525, deg = 18 */     13,    643,    814,    907,   1037,   1581,   1722,   1918,   2061,   2639,   2868,   3041,   3085,   3903,   4010,   4608,   4779,   5133, 
/* msg =    526, deg = 18 */     14,    644,    815,    908,   1038,   1582,   1723,   1919,   2062,   2640,   2869,   3042,   3086,   3904,   4011,   4609,   4780,   5134, 
/* msg =    527, deg = 18 */     15,    645,    816,    909,   1039,   1583,   1724,   1792,   2063,   2641,   2870,   3043,   3087,   3905,   4012,   4610,   4781,   5135, 
/* msg =    528, deg = 18 */     16,    646,    817,    910,   1040,   1584,   1725,   1793,   2064,   2642,   2871,   3044,   3088,   3906,   4013,   4611,   4782,   5136, 
/* msg =    529, deg = 18 */     17,    647,    818,    911,   1041,   1585,   1726,   1794,   2065,   2643,   2872,   3045,   3089,   3907,   4014,   4612,   4783,   5137, 
/* msg =    530, deg = 18 */     18,    648,    819,    912,   1042,   1586,   1727,   1795,   2066,   2644,   2873,   3046,   3090,   3908,   4015,   4613,   4784,   5138, 
/* msg =    531, deg = 18 */     19,    649,    820,    913,   1043,   1587,   1728,   1796,   2067,   2645,   2874,   3047,   3091,   3909,   4016,   4614,   4785,   5139, 
/* msg =    532, deg = 18 */     20,    650,    821,    914,   1044,   1588,   1729,   1797,   2068,   2646,   2875,   3048,   3092,   3910,   4017,   4615,   4786,   5140, 
/* msg =    533, deg = 18 */     21,    651,    822,    915,   1045,   1589,   1730,   1798,   2069,   2647,   2876,   3049,   3093,   3911,   4018,   4616,   4787,   5141, 
/* msg =    534, deg = 18 */     22,    652,    823,    916,   1046,   1590,   1731,   1799,   2070,   2648,   2877,   3050,   3094,   3912,   4019,   4617,   4788,   5142, 
/* msg =    535, deg = 18 */     23,    653,    824,    917,   1047,   1591,   1732,   1800,   2071,   2649,   2878,   3051,   3095,   3913,   4020,   4618,   4789,   5143, 
/* msg =    536, deg = 18 */     24,    654,    825,    918,   1048,   1592,   1733,   1801,   2072,   2650,   2879,   3052,   3096,   3914,   4021,   4619,   4790,   5144, 
/* msg =    537, deg = 18 */     25,    655,    826,    919,   1049,   1593,   1734,   1802,   2073,   2651,   2880,   3053,   3097,   3915,   4022,   4620,   4791,   5145, 
/* msg =    538, deg = 18 */     26,    656,    827,    920,   1050,   1594,   1735,   1803,   2074,   2652,   2881,   3054,   3098,   3916,   4023,   4621,   4792,   5146, 
/* msg =    539, deg = 18 */     27,    657,    828,    921,   1051,   1595,   1736,   1804,   2075,   2653,   2882,   3055,   3099,   3917,   4024,   4622,   4793,   5147, 
/* msg =    540, deg = 18 */     28,    658,    829,    922,   1052,   1596,   1737,   1805,   2076,   2654,   2883,   3056,   3100,   3918,   4025,   4623,   4794,   5148, 
/* msg =    541, deg = 18 */     29,    659,    830,    923,   1053,   1597,   1738,   1806,   2077,   2655,   2884,   3057,   3101,   3919,   4026,   4624,   4795,   5149, 
/* msg =    542, deg = 18 */     30,    660,    831,    924,   1054,   1598,   1739,   1807,   2078,   2656,   2885,   3058,   3102,   3920,   4027,   4625,   4796,   5150, 
/* msg =    543, deg = 18 */     31,    661,    832,    925,   1055,   1599,   1740,   1808,   2079,   2657,   2886,   3059,   3103,   3921,   4028,   4626,   4797,   5151, 
/* msg =    544, deg = 18 */     32,    662,    833,    926,   1056,   1600,   1741,   1809,   2080,   2658,   2887,   3060,   3104,   3922,   4029,   4627,   4798,   5152, 
/* msg =    545, deg = 18 */     33,    663,    834,    927,   1057,   1601,   1742,   1810,   2081,   2659,   2888,   3061,   3105,   3923,   4030,   4628,   4799,   5153, 
/* msg =    546, deg = 18 */     34,    664,    835,    928,   1058,   1602,   1743,   1811,   2082,   2660,   2889,   3062,   3106,   3924,   4031,   4629,   4800,   5154, 
/* msg =    547, deg = 18 */     35,    665,    836,    929,   1059,   1603,   1744,   1812,   2083,   2661,   2890,   3063,   3107,   3925,   4032,   4630,   4801,   5155, 
/* msg =    548, deg = 18 */     36,    666,    837,    930,   1060,   1604,   1745,   1813,   2084,   2662,   2891,   3064,   3108,   3926,   4033,   4631,   4802,   5156, 
/* msg =    549, deg = 18 */     37,    667,    838,    931,   1061,   1605,   1746,   1814,   2085,   2663,   2892,   3065,   3109,   3927,   4034,   4632,   4803,   5157, 
/* msg =    550, deg = 18 */     38,    668,    839,    932,   1062,   1606,   1747,   1815,   2086,   2664,   2893,   3066,   3110,   3928,   4035,   4633,   4804,   5158, 
/* msg =    551, deg = 18 */     39,    669,    840,    933,   1063,   1607,   1748,   1816,   2087,   2665,   2894,   3067,   3111,   3929,   4036,   4634,   4805,   5159, 
/* msg =    552, deg = 18 */     40,    670,    841,    934,   1064,   1608,   1749,   1817,   2088,   2666,   2895,   3068,   3112,   3930,   4037,   4635,   4806,   5160, 
/* msg =    553, deg = 18 */     41,    671,    842,    935,   1065,   1609,   1750,   1818,   2089,   2667,   2896,   3069,   3113,   3931,   4038,   4636,   4807,   5161, 
/* msg =    554, deg = 18 */     42,    672,    843,    936,   1066,   1610,   1751,   1819,   2090,   2668,   2897,   3070,   3114,   3932,   4039,   4637,   4808,   5162, 
/* msg =    555, deg = 18 */     43,    673,    844,    937,   1067,   1611,   1752,   1820,   2091,   2669,   2898,   3071,   3115,   3933,   4040,   4638,   4809,   5163, 
/* msg =    556, deg = 18 */     44,    674,    845,    938,   1068,   1612,   1753,   1821,   2092,   2670,   2899,   2944,   3116,   3934,   4041,   4639,   4810,   5164, 
/* msg =    557, deg = 18 */     45,    675,    846,    939,   1069,   1613,   1754,   1822,   2093,   2671,   2900,   2945,   3117,   3935,   4042,   4640,   4811,   5165, 
/* msg =    558, deg = 18 */     46,    676,    847,    940,   1070,   1614,   1755,   1823,   2094,   2672,   2901,   2946,   3118,   3936,   4043,   4641,   4812,   5166, 
/* msg =    559, deg = 18 */     47,    677,    848,    941,   1071,   1615,   1756,   1824,   2095,   2673,   2902,   2947,   3119,   3937,   4044,   4642,   4813,   5167, 
/* msg =    560, deg = 18 */     48,    678,    849,    942,   1072,   1616,   1757,   1825,   2096,   2674,   2903,   2948,   3120,   3938,   4045,   4643,   4814,   5168, 
/* msg =    561, deg = 18 */     49,    679,    850,    943,   1073,   1617,   1758,   1826,   2097,   2675,   2904,   2949,   3121,   3939,   4046,   4644,   4815,   5169, 
/* msg =    562, deg = 18 */     50,    680,    851,    944,   1074,   1618,   1759,   1827,   2098,   2676,   2905,   2950,   3122,   3940,   4047,   4645,   4816,   5170, 
/* msg =    563, deg = 18 */     51,    681,    852,    945,   1075,   1619,   1760,   1828,   2099,   2677,   2906,   2951,   3123,   3941,   4048,   4646,   4817,   5171, 
/* msg =    564, deg = 18 */     52,    682,    853,    946,   1076,   1620,   1761,   1829,   2100,   2678,   2907,   2952,   3124,   3942,   4049,   4647,   4818,   5172, 
/* msg =    565, deg = 18 */     53,    683,    854,    947,   1077,   1621,   1762,   1830,   2101,   2679,   2908,   2953,   3125,   3943,   4050,   4648,   4819,   5173, 
/* msg =    566, deg = 18 */     54,    684,    855,    948,   1078,   1622,   1763,   1831,   2102,   2680,   2909,   2954,   3126,   3944,   4051,   4649,   4820,   5174, 
/* msg =    567, deg = 18 */     55,    685,    856,    949,   1079,   1623,   1764,   1832,   2103,   2681,   2910,   2955,   3127,   3945,   4052,   4650,   4821,   5175, 
/* msg =    568, deg = 18 */     56,    686,    857,    950,   1080,   1624,   1765,   1833,   2104,   2682,   2911,   2956,   3128,   3946,   4053,   4651,   4822,   5176, 
/* msg =    569, deg = 18 */     57,    687,    858,    951,   1081,   1625,   1766,   1834,   2105,   2683,   2912,   2957,   3129,   3947,   4054,   4652,   4823,   5177, 
/* msg =    570, deg = 18 */     58,    688,    859,    952,   1082,   1626,   1767,   1835,   2106,   2684,   2913,   2958,   3130,   3948,   4055,   4653,   4824,   5178, 
/* msg =    571, deg = 18 */     59,    689,    860,    953,   1083,   1627,   1768,   1836,   2107,   2685,   2914,   2959,   3131,   3949,   4056,   4654,   4825,   5179, 
/* msg =    572, deg = 18 */     60,    690,    861,    954,   1084,   1628,   1769,   1837,   2108,   2686,   2915,   2960,   3132,   3950,   4057,   4655,   4826,   5180, 
/* msg =    573, deg = 18 */     61,    691,    862,    955,   1085,   1629,   1770,   1838,   2109,   2687,   2916,   2961,   3133,   3951,   4058,   4656,   4827,   5181, 
/* msg =    574, deg = 18 */     62,    692,    863,    956,   1086,   1630,   1771,   1839,   2110,   2560,   2917,   2962,   3134,   3952,   4059,   4657,   4828,   5182, 
/* msg =    575, deg = 18 */     63,    693,    864,    957,   1087,   1631,   1772,   1840,   2111,   2561,   2918,   2963,   3135,   3953,   4060,   4658,   4829,   5183, 
/* msg =    576, deg = 18 */     64,    694,    865,    958,   1088,   1632,   1773,   1841,   2112,   2562,   2919,   2964,   3136,   3954,   4061,   4659,   4830,   5184, 
/* msg =    577, deg = 18 */     65,    695,    866,    959,   1089,   1633,   1774,   1842,   2113,   2563,   2920,   2965,   3137,   3955,   4062,   4660,   4831,   5185, 
/* msg =    578, deg = 18 */     66,    696,    867,    960,   1090,   1634,   1775,   1843,   2114,   2564,   2921,   2966,   3138,   3956,   4063,   4661,   4832,   5186, 
/* msg =    579, deg = 18 */     67,    697,    868,    961,   1091,   1635,   1776,   1844,   2115,   2565,   2922,   2967,   3139,   3957,   4064,   4662,   4833,   5187, 
/* msg =    580, deg = 18 */     68,    698,    869,    962,   1092,   1636,   1777,   1845,   2116,   2566,   2923,   2968,   3140,   3958,   4065,   4663,   4834,   5188, 
/* msg =    581, deg = 18 */     69,    699,    870,    963,   1093,   1637,   1778,   1846,   2117,   2567,   2924,   2969,   3141,   3959,   4066,   4664,   4835,   5189, 
/* msg =    582, deg = 18 */     70,    700,    871,    964,   1094,   1638,   1779,   1847,   2118,   2568,   2925,   2970,   3142,   3960,   4067,   4665,   4836,   5190, 
/* msg =    583, deg = 18 */     71,    701,    872,    965,   1095,   1639,   1780,   1848,   2119,   2569,   2926,   2971,   3143,   3961,   4068,   4666,   4837,   5191, 
/* msg =    584, deg = 18 */     72,    702,    873,    966,   1096,   1640,   1781,   1849,   2120,   2570,   2927,   2972,   3144,   3962,   4069,   4667,   4838,   5192, 
/* msg =    585, deg = 18 */     73,    703,    874,    967,   1097,   1641,   1782,   1850,   2121,   2571,   2928,   2973,   3145,   3963,   4070,   4668,   4839,   5193, 
/* msg =    586, deg = 18 */     74,    704,    875,    968,   1098,   1642,   1783,   1851,   2122,   2572,   2929,   2974,   3146,   3964,   4071,   4669,   4840,   5194, 
/* msg =    587, deg = 18 */     75,    705,    876,    969,   1099,   1643,   1784,   1852,   2123,   2573,   2930,   2975,   3147,   3965,   4072,   4670,   4841,   5195, 
/* msg =    588, deg = 18 */     76,    706,    877,    970,   1100,   1644,   1785,   1853,   2124,   2574,   2931,   2976,   3148,   3966,   4073,   4671,   4842,   5196, 
/* msg =    589, deg = 18 */     77,    707,    878,    971,   1101,   1645,   1786,   1854,   2125,   2575,   2932,   2977,   3149,   3967,   4074,   4672,   4843,   5197, 
/* msg =    590, deg = 18 */     78,    708,    879,    972,   1102,   1646,   1787,   1855,   2126,   2576,   2933,   2978,   3150,   3840,   4075,   4673,   4844,   5198, 
/* msg =    591, deg = 18 */     79,    709,    880,    973,   1103,   1647,   1788,   1856,   2127,   2577,   2934,   2979,   3151,   3841,   4076,   4674,   4845,   5199, 
/* msg =    592, deg = 18 */     80,    710,    881,    974,   1104,   1648,   1789,   1857,   2128,   2578,   2935,   2980,   3152,   3842,   4077,   4675,   4846,   5200, 
/* msg =    593, deg = 18 */     81,    711,    882,    975,   1105,   1649,   1790,   1858,   2129,   2579,   2936,   2981,   3153,   3843,   4078,   4676,   4847,   5201, 
/* msg =    594, deg = 18 */     82,    712,    883,    976,   1106,   1650,   1791,   1859,   2130,   2580,   2937,   2982,   3154,   3844,   4079,   4677,   4848,   5202, 
/* msg =    595, deg = 18 */     83,    713,    884,    977,   1107,   1651,   1664,   1860,   2131,   2581,   2938,   2983,   3155,   3845,   4080,   4678,   4849,   5203, 
/* msg =    596, deg = 18 */     84,    714,    885,    978,   1108,   1652,   1665,   1861,   2132,   2582,   2939,   2984,   3156,   3846,   4081,   4679,   4850,   5204, 
/* msg =    597, deg = 18 */     85,    715,    886,    979,   1109,   1653,   1666,   1862,   2133,   2583,   2940,   2985,   3157,   3847,   4082,   4680,   4851,   5205, 
/* msg =    598, deg = 18 */     86,    716,    887,    980,   1110,   1654,   1667,   1863,   2134,   2584,   2941,   2986,   3158,   3848,   4083,   4681,   4852,   5206, 
/* msg =    599, deg = 18 */     87,    717,    888,    981,   1111,   1655,   1668,   1864,   2135,   2585,   2942,   2987,   3159,   3849,   4084,   4682,   4853,   5207, 
/* msg =    600, deg = 18 */     88,    718,    889,    982,   1112,   1656,   1669,   1865,   2136,   2586,   2943,   2988,   3160,   3850,   4085,   4683,   4854,   5208, 
/* msg =    601, deg = 18 */     89,    719,    890,    983,   1113,   1657,   1670,   1866,   2137,   2587,   2816,   2989,   3161,   3851,   4086,   4684,   4855,   5209, 
/* msg =    602, deg = 18 */     90,    720,    891,    984,   1114,   1658,   1671,   1867,   2138,   2588,   2817,   2990,   3162,   3852,   4087,   4685,   4856,   5210, 
/* msg =    603, deg = 18 */     91,    721,    892,    985,   1115,   1659,   1672,   1868,   2139,   2589,   2818,   2991,   3163,   3853,   4088,   4686,   4857,   5211, 
/* msg =    604, deg = 18 */     92,    722,    893,    986,   1116,   1660,   1673,   1869,   2140,   2590,   2819,   2992,   3164,   3854,   4089,   4687,   4858,   5212, 
/* msg =    605, deg = 18 */     93,    723,    894,    987,   1117,   1661,   1674,   1870,   2141,   2591,   2820,   2993,   3165,   3855,   4090,   4688,   4859,   5213, 
/* msg =    606, deg = 18 */     94,    724,    895,    988,   1118,   1662,   1675,   1871,   2142,   2592,   2821,   2994,   3166,   3856,   4091,   4689,   4860,   5214, 
/* msg =    607, deg = 18 */     95,    725,    768,    989,   1119,   1663,   1676,   1872,   2143,   2593,   2822,   2995,   3167,   3857,   4092,   4690,   4861,   5215, 
/* msg =    608, deg = 18 */     96,    726,    769,    990,   1120,   1536,   1677,   1873,   2144,   2594,   2823,   2996,   3168,   3858,   4093,   4691,   4862,   5216, 
/* msg =    609, deg = 18 */     97,    727,    770,    991,   1121,   1537,   1678,   1874,   2145,   2595,   2824,   2997,   3169,   3859,   4094,   4692,   4863,   5217, 
/* msg =    610, deg = 18 */     98,    728,    771,    992,   1122,   1538,   1679,   1875,   2146,   2596,   2825,   2998,   3170,   3860,   4095,   4693,   4736,   5218, 
/* msg =    611, deg = 18 */     99,    729,    772,    993,   1123,   1539,   1680,   1876,   2147,   2597,   2826,   2999,   3171,   3861,   3968,   4694,   4737,   5219, 
/* msg =    612, deg = 18 */    100,    730,    773,    994,   1124,   1540,   1681,   1877,   2148,   2598,   2827,   3000,   3172,   3862,   3969,   4695,   4738,   5220, 
/* msg =    613, deg = 18 */    101,    731,    774,    995,   1125,   1541,   1682,   1878,   2149,   2599,   2828,   3001,   3173,   3863,   3970,   4696,   4739,   5221, 
/* msg =    614, deg = 18 */    102,    732,    775,    996,   1126,   1542,   1683,   1879,   2150,   2600,   2829,   3002,   3174,   3864,   3971,   4697,   4740,   5222, 
/* msg =    615, deg = 18 */    103,    733,    776,    997,   1127,   1543,   1684,   1880,   2151,   2601,   2830,   3003,   3175,   3865,   3972,   4698,   4741,   5223, 
/* msg =    616, deg = 18 */    104,    734,    777,    998,   1128,   1544,   1685,   1881,   2152,   2602,   2831,   3004,   3176,   3866,   3973,   4699,   4742,   5224, 
/* msg =    617, deg = 18 */    105,    735,    778,    999,   1129,   1545,   1686,   1882,   2153,   2603,   2832,   3005,   3177,   3867,   3974,   4700,   4743,   5225, 
/* msg =    618, deg = 18 */    106,    736,    779,   1000,   1130,   1546,   1687,   1883,   2154,   2604,   2833,   3006,   3178,   3868,   3975,   4701,   4744,   5226, 
/* msg =    619, deg = 18 */    107,    737,    780,   1001,   1131,   1547,   1688,   1884,   2155,   2605,   2834,   3007,   3179,   3869,   3976,   4702,   4745,   5227, 
/* msg =    620, deg = 18 */    108,    738,    781,   1002,   1132,   1548,   1689,   1885,   2156,   2606,   2835,   3008,   3180,   3870,   3977,   4703,   4746,   5228, 
/* msg =    621, deg = 18 */    109,    739,    782,   1003,   1133,   1549,   1690,   1886,   2157,   2607,   2836,   3009,   3181,   3871,   3978,   4704,   4747,   5229, 
/* msg =    622, deg = 18 */    110,    740,    783,   1004,   1134,   1550,   1691,   1887,   2158,   2608,   2837,   3010,   3182,   3872,   3979,   4705,   4748,   5230, 
/* msg =    623, deg = 18 */    111,    741,    784,   1005,   1135,   1551,   1692,   1888,   2159,   2609,   2838,   3011,   3183,   3873,   3980,   4706,   4749,   5231, 
/* msg =    624, deg = 18 */    112,    742,    785,   1006,   1136,   1552,   1693,   1889,   2160,   2610,   2839,   3012,   3184,   3874,   3981,   4707,   4750,   5232, 
/* msg =    625, deg = 18 */    113,    743,    786,   1007,   1137,   1553,   1694,   1890,   2161,   2611,   2840,   3013,   3185,   3875,   3982,   4708,   4751,   5233, 
/* msg =    626, deg = 18 */    114,    744,    787,   1008,   1138,   1554,   1695,   1891,   2162,   2612,   2841,   3014,   3186,   3876,   3983,   4709,   4752,   5234, 
/* msg =    627, deg = 18 */    115,    745,    788,   1009,   1139,   1555,   1696,   1892,   2163,   2613,   2842,   3015,   3187,   3877,   3984,   4710,   4753,   5235, 
/* msg =    628, deg = 18 */    116,    746,    789,   1010,   1140,   1556,   1697,   1893,   2164,   2614,   2843,   3016,   3188,   3878,   3985,   4711,   4754,   5236, 
/* msg =    629, deg = 18 */    117,    747,    790,   1011,   1141,   1557,   1698,   1894,   2165,   2615,   2844,   3017,   3189,   3879,   3986,   4712,   4755,   5237, 
/* msg =    630, deg = 18 */    118,    748,    791,   1012,   1142,   1558,   1699,   1895,   2166,   2616,   2845,   3018,   3190,   3880,   3987,   4713,   4756,   5238, 
/* msg =    631, deg = 18 */    119,    749,    792,   1013,   1143,   1559,   1700,   1896,   2167,   2617,   2846,   3019,   3191,   3881,   3988,   4714,   4757,   5239, 
/* msg =    632, deg = 18 */    120,    750,    793,   1014,   1144,   1560,   1701,   1897,   2168,   2618,   2847,   3020,   3192,   3882,   3989,   4715,   4758,   5240, 
/* msg =    633, deg = 18 */    121,    751,    794,   1015,   1145,   1561,   1702,   1898,   2169,   2619,   2848,   3021,   3193,   3883,   3990,   4716,   4759,   5241, 
/* msg =    634, deg = 18 */    122,    752,    795,   1016,   1146,   1562,   1703,   1899,   2170,   2620,   2849,   3022,   3194,   3884,   3991,   4717,   4760,   5242, 
/* msg =    635, deg = 18 */    123,    753,    796,   1017,   1147,   1563,   1704,   1900,   2171,   2621,   2850,   3023,   3195,   3885,   3992,   4718,   4761,   5243, 
/* msg =    636, deg = 18 */    124,    754,    797,   1018,   1148,   1564,   1705,   1901,   2172,   2622,   2851,   3024,   3196,   3886,   3993,   4719,   4762,   5244, 
/* msg =    637, deg = 18 */    125,    755,    798,   1019,   1149,   1565,   1706,   1902,   2173,   2623,   2852,   3025,   3197,   3887,   3994,   4720,   4763,   5245, 
/* msg =    638, deg = 18 */    126,    756,    799,   1020,   1150,   1566,   1707,   1903,   2174,   2624,   2853,   3026,   3198,   3888,   3995,   4721,   4764,   5246, 
/* msg =    639, deg = 18 */    127,    757,    800,   1021,   1151,   1567,   1708,   1904,   2175,   2625,   2854,   3027,   3199,   3889,   3996,   4722,   4765,   5247, 
/* msg =    640, deg = 18 */    128,    628,    782,    926,   1152,   1695,   1913,   1965,   2176,   2628,   2753,   3006,   3200,   3584,   4015,   4795,   4966,   5248, 
/* msg =    641, deg = 18 */    129,    629,    783,    927,   1153,   1696,   1914,   1966,   2177,   2629,   2754,   3007,   3201,   3585,   4016,   4796,   4967,   5249, 
/* msg =    642, deg = 18 */    130,    630,    784,    928,   1154,   1697,   1915,   1967,   2178,   2630,   2755,   3008,   3202,   3586,   4017,   4797,   4968,   5250, 
/* msg =    643, deg = 18 */    131,    631,    785,    929,   1155,   1698,   1916,   1968,   2179,   2631,   2756,   3009,   3203,   3587,   4018,   4798,   4969,   5251, 
/* msg =    644, deg = 18 */    132,    632,    786,    930,   1156,   1699,   1917,   1969,   2180,   2632,   2757,   3010,   3204,   3588,   4019,   4799,   4970,   5252, 
/* msg =    645, deg = 18 */    133,    633,    787,    931,   1157,   1700,   1918,   1970,   2181,   2633,   2758,   3011,   3205,   3589,   4020,   4800,   4971,   5253, 
/* msg =    646, deg = 18 */    134,    634,    788,    932,   1158,   1701,   1919,   1971,   2182,   2634,   2759,   3012,   3206,   3590,   4021,   4801,   4972,   5254, 
/* msg =    647, deg = 18 */    135,    635,    789,    933,   1159,   1702,   1792,   1972,   2183,   2635,   2760,   3013,   3207,   3591,   4022,   4802,   4973,   5255, 
/* msg =    648, deg = 18 */    136,    636,    790,    934,   1160,   1703,   1793,   1973,   2184,   2636,   2761,   3014,   3208,   3592,   4023,   4803,   4974,   5256, 
/* msg =    649, deg = 18 */    137,    637,    791,    935,   1161,   1704,   1794,   1974,   2185,   2637,   2762,   3015,   3209,   3593,   4024,   4804,   4975,   5257, 
/* msg =    650, deg = 18 */    138,    638,    792,    936,   1162,   1705,   1795,   1975,   2186,   2638,   2763,   3016,   3210,   3594,   4025,   4805,   4976,   5258, 
/* msg =    651, deg = 18 */    139,    639,    793,    937,   1163,   1706,   1796,   1976,   2187,   2639,   2764,   3017,   3211,   3595,   4026,   4806,   4977,   5259, 
/* msg =    652, deg = 18 */    140,    512,    794,    938,   1164,   1707,   1797,   1977,   2188,   2640,   2765,   3018,   3212,   3596,   4027,   4807,   4978,   5260, 
/* msg =    653, deg = 18 */    141,    513,    795,    939,   1165,   1708,   1798,   1978,   2189,   2641,   2766,   3019,   3213,   3597,   4028,   4808,   4979,   5261, 
/* msg =    654, deg = 18 */    142,    514,    796,    940,   1166,   1709,   1799,   1979,   2190,   2642,   2767,   3020,   3214,   3598,   4029,   4809,   4980,   5262, 
/* msg =    655, deg = 18 */    143,    515,    797,    941,   1167,   1710,   1800,   1980,   2191,   2643,   2768,   3021,   3215,   3599,   4030,   4810,   4981,   5263, 
/* msg =    656, deg = 18 */    144,    516,    798,    942,   1168,   1711,   1801,   1981,   2192,   2644,   2769,   3022,   3216,   3600,   4031,   4811,   4982,   5264, 
/* msg =    657, deg = 18 */    145,    517,    799,    943,   1169,   1712,   1802,   1982,   2193,   2645,   2770,   3023,   3217,   3601,   4032,   4812,   4983,   5265, 
/* msg =    658, deg = 18 */    146,    518,    800,    944,   1170,   1713,   1803,   1983,   2194,   2646,   2771,   3024,   3218,   3602,   4033,   4813,   4984,   5266, 
/* msg =    659, deg = 18 */    147,    519,    801,    945,   1171,   1714,   1804,   1984,   2195,   2647,   2772,   3025,   3219,   3603,   4034,   4814,   4985,   5267, 
/* msg =    660, deg = 18 */    148,    520,    802,    946,   1172,   1715,   1805,   1985,   2196,   2648,   2773,   3026,   3220,   3604,   4035,   4815,   4986,   5268, 
/* msg =    661, deg = 18 */    149,    521,    803,    947,   1173,   1716,   1806,   1986,   2197,   2649,   2774,   3027,   3221,   3605,   4036,   4816,   4987,   5269, 
/* msg =    662, deg = 18 */    150,    522,    804,    948,   1174,   1717,   1807,   1987,   2198,   2650,   2775,   3028,   3222,   3606,   4037,   4817,   4988,   5270, 
/* msg =    663, deg = 18 */    151,    523,    805,    949,   1175,   1718,   1808,   1988,   2199,   2651,   2776,   3029,   3223,   3607,   4038,   4818,   4989,   5271, 
/* msg =    664, deg = 18 */    152,    524,    806,    950,   1176,   1719,   1809,   1989,   2200,   2652,   2777,   3030,   3224,   3608,   4039,   4819,   4990,   5272, 
/* msg =    665, deg = 18 */    153,    525,    807,    951,   1177,   1720,   1810,   1990,   2201,   2653,   2778,   3031,   3225,   3609,   4040,   4820,   4991,   5273, 
/* msg =    666, deg = 18 */    154,    526,    808,    952,   1178,   1721,   1811,   1991,   2202,   2654,   2779,   3032,   3226,   3610,   4041,   4821,   4864,   5274, 
/* msg =    667, deg = 18 */    155,    527,    809,    953,   1179,   1722,   1812,   1992,   2203,   2655,   2780,   3033,   3227,   3611,   4042,   4822,   4865,   5275, 
/* msg =    668, deg = 18 */    156,    528,    810,    954,   1180,   1723,   1813,   1993,   2204,   2656,   2781,   3034,   3228,   3612,   4043,   4823,   4866,   5276, 
/* msg =    669, deg = 18 */    157,    529,    811,    955,   1181,   1724,   1814,   1994,   2205,   2657,   2782,   3035,   3229,   3613,   4044,   4824,   4867,   5277, 
/* msg =    670, deg = 18 */    158,    530,    812,    956,   1182,   1725,   1815,   1995,   2206,   2658,   2783,   3036,   3230,   3614,   4045,   4825,   4868,   5278, 
/* msg =    671, deg = 18 */    159,    531,    813,    957,   1183,   1726,   1816,   1996,   2207,   2659,   2784,   3037,   3231,   3615,   4046,   4826,   4869,   5279, 
/* msg =    672, deg = 18 */    160,    532,    814,    958,   1184,   1727,   1817,   1997,   2208,   2660,   2785,   3038,   3232,   3616,   4047,   4827,   4870,   5280, 
/* msg =    673, deg = 18 */    161,    533,    815,    959,   1185,   1728,   1818,   1998,   2209,   2661,   2786,   3039,   3233,   3617,   4048,   4828,   4871,   5281, 
/* msg =    674, deg = 18 */    162,    534,    816,    960,   1186,   1729,   1819,   1999,   2210,   2662,   2787,   3040,   3234,   3618,   4049,   4829,   4872,   5282, 
/* msg =    675, deg = 18 */    163,    535,    817,    961,   1187,   1730,   1820,   2000,   2211,   2663,   2788,   3041,   3235,   3619,   4050,   4830,   4873,   5283, 
/* msg =    676, deg = 18 */    164,    536,    818,    962,   1188,   1731,   1821,   2001,   2212,   2664,   2789,   3042,   3236,   3620,   4051,   4831,   4874,   5284, 
/* msg =    677, deg = 18 */    165,    537,    819,    963,   1189,   1732,   1822,   2002,   2213,   2665,   2790,   3043,   3237,   3621,   4052,   4832,   4875,   5285, 
/* msg =    678, deg = 18 */    166,    538,    820,    964,   1190,   1733,   1823,   2003,   2214,   2666,   2791,   3044,   3238,   3622,   4053,   4833,   4876,   5286, 
/* msg =    679, deg = 18 */    167,    539,    821,    965,   1191,   1734,   1824,   2004,   2215,   2667,   2792,   3045,   3239,   3623,   4054,   4834,   4877,   5287, 
/* msg =    680, deg = 18 */    168,    540,    822,    966,   1192,   1735,   1825,   2005,   2216,   2668,   2793,   3046,   3240,   3624,   4055,   4835,   4878,   5288, 
/* msg =    681, deg = 18 */    169,    541,    823,    967,   1193,   1736,   1826,   2006,   2217,   2669,   2794,   3047,   3241,   3625,   4056,   4836,   4879,   5289, 
/* msg =    682, deg = 18 */    170,    542,    824,    968,   1194,   1737,   1827,   2007,   2218,   2670,   2795,   3048,   3242,   3626,   4057,   4837,   4880,   5290, 
/* msg =    683, deg = 18 */    171,    543,    825,    969,   1195,   1738,   1828,   2008,   2219,   2671,   2796,   3049,   3243,   3627,   4058,   4838,   4881,   5291, 
/* msg =    684, deg = 18 */    172,    544,    826,    970,   1196,   1739,   1829,   2009,   2220,   2672,   2797,   3050,   3244,   3628,   4059,   4839,   4882,   5292, 
/* msg =    685, deg = 18 */    173,    545,    827,    971,   1197,   1740,   1830,   2010,   2221,   2673,   2798,   3051,   3245,   3629,   4060,   4840,   4883,   5293, 
/* msg =    686, deg = 18 */    174,    546,    828,    972,   1198,   1741,   1831,   2011,   2222,   2674,   2799,   3052,   3246,   3630,   4061,   4841,   4884,   5294, 
/* msg =    687, deg = 18 */    175,    547,    829,    973,   1199,   1742,   1832,   2012,   2223,   2675,   2800,   3053,   3247,   3631,   4062,   4842,   4885,   5295, 
/* msg =    688, deg = 18 */    176,    548,    830,    974,   1200,   1743,   1833,   2013,   2224,   2676,   2801,   3054,   3248,   3632,   4063,   4843,   4886,   5296, 
/* msg =    689, deg = 18 */    177,    549,    831,    975,   1201,   1744,   1834,   2014,   2225,   2677,   2802,   3055,   3249,   3633,   4064,   4844,   4887,   5297, 
/* msg =    690, deg = 18 */    178,    550,    832,    976,   1202,   1745,   1835,   2015,   2226,   2678,   2803,   3056,   3250,   3634,   4065,   4845,   4888,   5298, 
/* msg =    691, deg = 18 */    179,    551,    833,    977,   1203,   1746,   1836,   2016,   2227,   2679,   2804,   3057,   3251,   3635,   4066,   4846,   4889,   5299, 
/* msg =    692, deg = 18 */    180,    552,    834,    978,   1204,   1747,   1837,   2017,   2228,   2680,   2805,   3058,   3252,   3636,   4067,   4847,   4890,   5300, 
/* msg =    693, deg = 18 */    181,    553,    835,    979,   1205,   1748,   1838,   2018,   2229,   2681,   2806,   3059,   3253,   3637,   4068,   4848,   4891,   5301, 
/* msg =    694, deg = 18 */    182,    554,    836,    980,   1206,   1749,   1839,   2019,   2230,   2682,   2807,   3060,   3254,   3638,   4069,   4849,   4892,   5302, 
/* msg =    695, deg = 18 */    183,    555,    837,    981,   1207,   1750,   1840,   2020,   2231,   2683,   2808,   3061,   3255,   3639,   4070,   4850,   4893,   5303, 
/* msg =    696, deg = 18 */    184,    556,    838,    982,   1208,   1751,   1841,   2021,   2232,   2684,   2809,   3062,   3256,   3640,   4071,   4851,   4894,   5304, 
/* msg =    697, deg = 18 */    185,    557,    839,    983,   1209,   1752,   1842,   2022,   2233,   2685,   2810,   3063,   3257,   3641,   4072,   4852,   4895,   5305, 
/* msg =    698, deg = 18 */    186,    558,    840,    984,   1210,   1753,   1843,   2023,   2234,   2686,   2811,   3064,   3258,   3642,   4073,   4853,   4896,   5306, 
/* msg =    699, deg = 18 */    187,    559,    841,    985,   1211,   1754,   1844,   2024,   2235,   2687,   2812,   3065,   3259,   3643,   4074,   4854,   4897,   5307, 
/* msg =    700, deg = 18 */    188,    560,    842,    986,   1212,   1755,   1845,   2025,   2236,   2560,   2813,   3066,   3260,   3644,   4075,   4855,   4898,   5308, 
/* msg =    701, deg = 18 */    189,    561,    843,    987,   1213,   1756,   1846,   2026,   2237,   2561,   2814,   3067,   3261,   3645,   4076,   4856,   4899,   5309, 
/* msg =    702, deg = 18 */    190,    562,    844,    988,   1214,   1757,   1847,   2027,   2238,   2562,   2815,   3068,   3262,   3646,   4077,   4857,   4900,   5310, 
/* msg =    703, deg = 18 */    191,    563,    845,    989,   1215,   1758,   1848,   2028,   2239,   2563,   2688,   3069,   3263,   3647,   4078,   4858,   4901,   5311, 
/* msg =    704, deg = 18 */    192,    564,    846,    990,   1216,   1759,   1849,   2029,   2240,   2564,   2689,   3070,   3264,   3648,   4079,   4859,   4902,   5312, 
/* msg =    705, deg = 18 */    193,    565,    847,    991,   1217,   1760,   1850,   2030,   2241,   2565,   2690,   3071,   3265,   3649,   4080,   4860,   4903,   5313, 
/* msg =    706, deg = 18 */    194,    566,    848,    992,   1218,   1761,   1851,   2031,   2242,   2566,   2691,   2944,   3266,   3650,   4081,   4861,   4904,   5314, 
/* msg =    707, deg = 18 */    195,    567,    849,    993,   1219,   1762,   1852,   2032,   2243,   2567,   2692,   2945,   3267,   3651,   4082,   4862,   4905,   5315, 
/* msg =    708, deg = 18 */    196,    568,    850,    994,   1220,   1763,   1853,   2033,   2244,   2568,   2693,   2946,   3268,   3652,   4083,   4863,   4906,   5316, 
/* msg =    709, deg = 18 */    197,    569,    851,    995,   1221,   1764,   1854,   2034,   2245,   2569,   2694,   2947,   3269,   3653,   4084,   4736,   4907,   5317, 
/* msg =    710, deg = 18 */    198,    570,    852,    996,   1222,   1765,   1855,   2035,   2246,   2570,   2695,   2948,   3270,   3654,   4085,   4737,   4908,   5318, 
/* msg =    711, deg = 18 */    199,    571,    853,    997,   1223,   1766,   1856,   2036,   2247,   2571,   2696,   2949,   3271,   3655,   4086,   4738,   4909,   5319, 
/* msg =    712, deg = 18 */    200,    572,    854,    998,   1224,   1767,   1857,   2037,   2248,   2572,   2697,   2950,   3272,   3656,   4087,   4739,   4910,   5320, 
/* msg =    713, deg = 18 */    201,    573,    855,    999,   1225,   1768,   1858,   2038,   2249,   2573,   2698,   2951,   3273,   3657,   4088,   4740,   4911,   5321, 
/* msg =    714, deg = 18 */    202,    574,    856,   1000,   1226,   1769,   1859,   2039,   2250,   2574,   2699,   2952,   3274,   3658,   4089,   4741,   4912,   5322, 
/* msg =    715, deg = 18 */    203,    575,    857,   1001,   1227,   1770,   1860,   2040,   2251,   2575,   2700,   2953,   3275,   3659,   4090,   4742,   4913,   5323, 
/* msg =    716, deg = 18 */    204,    576,    858,   1002,   1228,   1771,   1861,   2041,   2252,   2576,   2701,   2954,   3276,   3660,   4091,   4743,   4914,   5324, 
/* msg =    717, deg = 18 */    205,    577,    859,   1003,   1229,   1772,   1862,   2042,   2253,   2577,   2702,   2955,   3277,   3661,   4092,   4744,   4915,   5325, 
/* msg =    718, deg = 18 */    206,    578,    860,   1004,   1230,   1773,   1863,   2043,   2254,   2578,   2703,   2956,   3278,   3662,   4093,   4745,   4916,   5326, 
/* msg =    719, deg = 18 */    207,    579,    861,   1005,   1231,   1774,   1864,   2044,   2255,   2579,   2704,   2957,   3279,   3663,   4094,   4746,   4917,   5327, 
/* msg =    720, deg = 18 */    208,    580,    862,   1006,   1232,   1775,   1865,   2045,   2256,   2580,   2705,   2958,   3280,   3664,   4095,   4747,   4918,   5328, 
/* msg =    721, deg = 18 */    209,    581,    863,   1007,   1233,   1776,   1866,   2046,   2257,   2581,   2706,   2959,   3281,   3665,   3968,   4748,   4919,   5329, 
/* msg =    722, deg = 18 */    210,    582,    864,   1008,   1234,   1777,   1867,   2047,   2258,   2582,   2707,   2960,   3282,   3666,   3969,   4749,   4920,   5330, 
/* msg =    723, deg = 18 */    211,    583,    865,   1009,   1235,   1778,   1868,   1920,   2259,   2583,   2708,   2961,   3283,   3667,   3970,   4750,   4921,   5331, 
/* msg =    724, deg = 18 */    212,    584,    866,   1010,   1236,   1779,   1869,   1921,   2260,   2584,   2709,   2962,   3284,   3668,   3971,   4751,   4922,   5332, 
/* msg =    725, deg = 18 */    213,    585,    867,   1011,   1237,   1780,   1870,   1922,   2261,   2585,   2710,   2963,   3285,   3669,   3972,   4752,   4923,   5333, 
/* msg =    726, deg = 18 */    214,    586,    868,   1012,   1238,   1781,   1871,   1923,   2262,   2586,   2711,   2964,   3286,   3670,   3973,   4753,   4924,   5334, 
/* msg =    727, deg = 18 */    215,    587,    869,   1013,   1239,   1782,   1872,   1924,   2263,   2587,   2712,   2965,   3287,   3671,   3974,   4754,   4925,   5335, 
/* msg =    728, deg = 18 */    216,    588,    870,   1014,   1240,   1783,   1873,   1925,   2264,   2588,   2713,   2966,   3288,   3672,   3975,   4755,   4926,   5336, 
/* msg =    729, deg = 18 */    217,    589,    871,   1015,   1241,   1784,   1874,   1926,   2265,   2589,   2714,   2967,   3289,   3673,   3976,   4756,   4927,   5337, 
/* msg =    730, deg = 18 */    218,    590,    872,   1016,   1242,   1785,   1875,   1927,   2266,   2590,   2715,   2968,   3290,   3674,   3977,   4757,   4928,   5338, 
/* msg =    731, deg = 18 */    219,    591,    873,   1017,   1243,   1786,   1876,   1928,   2267,   2591,   2716,   2969,   3291,   3675,   3978,   4758,   4929,   5339, 
/* msg =    732, deg = 18 */    220,    592,    874,   1018,   1244,   1787,   1877,   1929,   2268,   2592,   2717,   2970,   3292,   3676,   3979,   4759,   4930,   5340, 
/* msg =    733, deg = 18 */    221,    593,    875,   1019,   1245,   1788,   1878,   1930,   2269,   2593,   2718,   2971,   3293,   3677,   3980,   4760,   4931,   5341, 
/* msg =    734, deg = 18 */    222,    594,    876,   1020,   1246,   1789,   1879,   1931,   2270,   2594,   2719,   2972,   3294,   3678,   3981,   4761,   4932,   5342, 
/* msg =    735, deg = 18 */    223,    595,    877,   1021,   1247,   1790,   1880,   1932,   2271,   2595,   2720,   2973,   3295,   3679,   3982,   4762,   4933,   5343, 
/* msg =    736, deg = 18 */    224,    596,    878,   1022,   1248,   1791,   1881,   1933,   2272,   2596,   2721,   2974,   3296,   3680,   3983,   4763,   4934,   5344, 
/* msg =    737, deg = 18 */    225,    597,    879,   1023,   1249,   1664,   1882,   1934,   2273,   2597,   2722,   2975,   3297,   3681,   3984,   4764,   4935,   5345, 
/* msg =    738, deg = 18 */    226,    598,    880,    896,   1250,   1665,   1883,   1935,   2274,   2598,   2723,   2976,   3298,   3682,   3985,   4765,   4936,   5346, 
/* msg =    739, deg = 18 */    227,    599,    881,    897,   1251,   1666,   1884,   1936,   2275,   2599,   2724,   2977,   3299,   3683,   3986,   4766,   4937,   5347, 
/* msg =    740, deg = 18 */    228,    600,    882,    898,   1252,   1667,   1885,   1937,   2276,   2600,   2725,   2978,   3300,   3684,   3987,   4767,   4938,   5348, 
/* msg =    741, deg = 18 */    229,    601,    883,    899,   1253,   1668,   1886,   1938,   2277,   2601,   2726,   2979,   3301,   3685,   3988,   4768,   4939,   5349, 
/* msg =    742, deg = 18 */    230,    602,    884,    900,   1254,   1669,   1887,   1939,   2278,   2602,   2727,   2980,   3302,   3686,   3989,   4769,   4940,   5350, 
/* msg =    743, deg = 18 */    231,    603,    885,    901,   1255,   1670,   1888,   1940,   2279,   2603,   2728,   2981,   3303,   3687,   3990,   4770,   4941,   5351, 
/* msg =    744, deg = 18 */    232,    604,    886,    902,   1256,   1671,   1889,   1941,   2280,   2604,   2729,   2982,   3304,   3688,   3991,   4771,   4942,   5352, 
/* msg =    745, deg = 18 */    233,    605,    887,    903,   1257,   1672,   1890,   1942,   2281,   2605,   2730,   2983,   3305,   3689,   3992,   4772,   4943,   5353, 
/* msg =    746, deg = 18 */    234,    606,    888,    904,   1258,   1673,   1891,   1943,   2282,   2606,   2731,   2984,   3306,   3690,   3993,   4773,   4944,   5354, 
/* msg =    747, deg = 18 */    235,    607,    889,    905,   1259,   1674,   1892,   1944,   2283,   2607,   2732,   2985,   3307,   3691,   3994,   4774,   4945,   5355, 
/* msg =    748, deg = 18 */    236,    608,    890,    906,   1260,   1675,   1893,   1945,   2284,   2608,   2733,   2986,   3308,   3692,   3995,   4775,   4946,   5356, 
/* msg =    749, deg = 18 */    237,    609,    891,    907,   1261,   1676,   1894,   1946,   2285,   2609,   2734,   2987,   3309,   3693,   3996,   4776,   4947,   5357, 
/* msg =    750, deg = 18 */    238,    610,    892,    908,   1262,   1677,   1895,   1947,   2286,   2610,   2735,   2988,   3310,   3694,   3997,   4777,   4948,   5358, 
/* msg =    751, deg = 18 */    239,    611,    893,    909,   1263,   1678,   1896,   1948,   2287,   2611,   2736,   2989,   3311,   3695,   3998,   4778,   4949,   5359, 
/* msg =    752, deg = 18 */    240,    612,    894,    910,   1264,   1679,   1897,   1949,   2288,   2612,   2737,   2990,   3312,   3696,   3999,   4779,   4950,   5360, 
/* msg =    753, deg = 18 */    241,    613,    895,    911,   1265,   1680,   1898,   1950,   2289,   2613,   2738,   2991,   3313,   3697,   4000,   4780,   4951,   5361, 
/* msg =    754, deg = 18 */    242,    614,    768,    912,   1266,   1681,   1899,   1951,   2290,   2614,   2739,   2992,   3314,   3698,   4001,   4781,   4952,   5362, 
/* msg =    755, deg = 18 */    243,    615,    769,    913,   1267,   1682,   1900,   1952,   2291,   2615,   2740,   2993,   3315,   3699,   4002,   4782,   4953,   5363, 
/* msg =    756, deg = 18 */    244,    616,    770,    914,   1268,   1683,   1901,   1953,   2292,   2616,   2741,   2994,   3316,   3700,   4003,   4783,   4954,   5364, 
/* msg =    757, deg = 18 */    245,    617,    771,    915,   1269,   1684,   1902,   1954,   2293,   2617,   2742,   2995,   3317,   3701,   4004,   4784,   4955,   5365, 
/* msg =    758, deg = 18 */    246,    618,    772,    916,   1270,   1685,   1903,   1955,   2294,   2618,   2743,   2996,   3318,   3702,   4005,   4785,   4956,   5366, 
/* msg =    759, deg = 18 */    247,    619,    773,    917,   1271,   1686,   1904,   1956,   2295,   2619,   2744,   2997,   3319,   3703,   4006,   4786,   4957,   5367, 
/* msg =    760, deg = 18 */    248,    620,    774,    918,   1272,   1687,   1905,   1957,   2296,   2620,   2745,   2998,   3320,   3704,   4007,   4787,   4958,   5368, 
/* msg =    761, deg = 18 */    249,    621,    775,    919,   1273,   1688,   1906,   1958,   2297,   2621,   2746,   2999,   3321,   3705,   4008,   4788,   4959,   5369, 
/* msg =    762, deg = 18 */    250,    622,    776,    920,   1274,   1689,   1907,   1959,   2298,   2622,   2747,   3000,   3322,   3706,   4009,   4789,   4960,   5370, 
/* msg =    763, deg = 18 */    251,    623,    777,    921,   1275,   1690,   1908,   1960,   2299,   2623,   2748,   3001,   3323,   3707,   4010,   4790,   4961,   5371, 
/* msg =    764, deg = 18 */    252,    624,    778,    922,   1276,   1691,   1909,   1961,   2300,   2624,   2749,   3002,   3324,   3708,   4011,   4791,   4962,   5372, 
/* msg =    765, deg = 18 */    253,    625,    779,    923,   1277,   1692,   1910,   1962,   2301,   2625,   2750,   3003,   3325,   3709,   4012,   4792,   4963,   5373, 
/* msg =    766, deg = 18 */    254,    626,    780,    924,   1278,   1693,   1911,   1963,   2302,   2626,   2751,   3004,   3326,   3710,   4013,   4793,   4964,   5374, 
/* msg =    767, deg = 18 */    255,    627,    781,    925,   1279,   1694,   1912,   1964,   2303,   2627,   2752,   3005,   3327,   3711,   4014,   4794,   4965,   5375, 
/* msg =    768, deg = 18 */    256,    550,    760,    988,   1280,   1578,   1830,   2003,   2304,   2579,   2754,   2847,   3328,   3615,   3834,   4865,   5061,   5376, 
/* msg =    769, deg = 18 */    257,    551,    761,    989,   1281,   1579,   1831,   2004,   2305,   2580,   2755,   2848,   3329,   3616,   3835,   4866,   5062,   5377, 
/* msg =    770, deg = 18 */    258,    552,    762,    990,   1282,   1580,   1832,   2005,   2306,   2581,   2756,   2849,   3330,   3617,   3836,   4867,   5063,   5378, 
/* msg =    771, deg = 18 */    259,    553,    763,    991,   1283,   1581,   1833,   2006,   2307,   2582,   2757,   2850,   3331,   3618,   3837,   4868,   5064,   5379, 
/* msg =    772, deg = 18 */    260,    554,    764,    992,   1284,   1582,   1834,   2007,   2308,   2583,   2758,   2851,   3332,   3619,   3838,   4869,   5065,   5380, 
/* msg =    773, deg = 18 */    261,    555,    765,    993,   1285,   1583,   1835,   2008,   2309,   2584,   2759,   2852,   3333,   3620,   3839,   4870,   5066,   5381, 
/* msg =    774, deg = 18 */    262,    556,    766,    994,   1286,   1584,   1836,   2009,   2310,   2585,   2760,   2853,   3334,   3621,   3712,   4871,   5067,   5382, 
/* msg =    775, deg = 18 */    263,    557,    767,    995,   1287,   1585,   1837,   2010,   2311,   2586,   2761,   2854,   3335,   3622,   3713,   4872,   5068,   5383, 
/* msg =    776, deg = 18 */    264,    558,    640,    996,   1288,   1586,   1838,   2011,   2312,   2587,   2762,   2855,   3336,   3623,   3714,   4873,   5069,   5384, 
/* msg =    777, deg = 18 */    265,    559,    641,    997,   1289,   1587,   1839,   2012,   2313,   2588,   2763,   2856,   3337,   3624,   3715,   4874,   5070,   5385, 
/* msg =    778, deg = 18 */    266,    560,    642,    998,   1290,   1588,   1840,   2013,   2314,   2589,   2764,   2857,   3338,   3625,   3716,   4875,   5071,   5386, 
/* msg =    779, deg = 18 */    267,    561,    643,    999,   1291,   1589,   1841,   2014,   2315,   2590,   2765,   2858,   3339,   3626,   3717,   4876,   5072,   5387, 
/* msg =    780, deg = 18 */    268,    562,    644,   1000,   1292,   1590,   1842,   2015,   2316,   2591,   2766,   2859,   3340,   3627,   3718,   4877,   5073,   5388, 
/* msg =    781, deg = 18 */    269,    563,    645,   1001,   1293,   1591,   1843,   2016,   2317,   2592,   2767,   2860,   3341,   3628,   3719,   4878,   5074,   5389, 
/* msg =    782, deg = 18 */    270,    564,    646,   1002,   1294,   1592,   1844,   2017,   2318,   2593,   2768,   2861,   3342,   3629,   3720,   4879,   5075,   5390, 
/* msg =    783, deg = 18 */    271,    565,    647,   1003,   1295,   1593,   1845,   2018,   2319,   2594,   2769,   2862,   3343,   3630,   3721,   4880,   5076,   5391, 
/* msg =    784, deg = 18 */    272,    566,    648,   1004,   1296,   1594,   1846,   2019,   2320,   2595,   2770,   2863,   3344,   3631,   3722,   4881,   5077,   5392, 
/* msg =    785, deg = 18 */    273,    567,    649,   1005,   1297,   1595,   1847,   2020,   2321,   2596,   2771,   2864,   3345,   3632,   3723,   4882,   5078,   5393, 
/* msg =    786, deg = 18 */    274,    568,    650,   1006,   1298,   1596,   1848,   2021,   2322,   2597,   2772,   2865,   3346,   3633,   3724,   4883,   5079,   5394, 
/* msg =    787, deg = 18 */    275,    569,    651,   1007,   1299,   1597,   1849,   2022,   2323,   2598,   2773,   2866,   3347,   3634,   3725,   4884,   5080,   5395, 
/* msg =    788, deg = 18 */    276,    570,    652,   1008,   1300,   1598,   1850,   2023,   2324,   2599,   2774,   2867,   3348,   3635,   3726,   4885,   5081,   5396, 
/* msg =    789, deg = 18 */    277,    571,    653,   1009,   1301,   1599,   1851,   2024,   2325,   2600,   2775,   2868,   3349,   3636,   3727,   4886,   5082,   5397, 
/* msg =    790, deg = 18 */    278,    572,    654,   1010,   1302,   1600,   1852,   2025,   2326,   2601,   2776,   2869,   3350,   3637,   3728,   4887,   5083,   5398, 
/* msg =    791, deg = 18 */    279,    573,    655,   1011,   1303,   1601,   1853,   2026,   2327,   2602,   2777,   2870,   3351,   3638,   3729,   4888,   5084,   5399, 
/* msg =    792, deg = 18 */    280,    574,    656,   1012,   1304,   1602,   1854,   2027,   2328,   2603,   2778,   2871,   3352,   3639,   3730,   4889,   5085,   5400, 
/* msg =    793, deg = 18 */    281,    575,    657,   1013,   1305,   1603,   1855,   2028,   2329,   2604,   2779,   2872,   3353,   3640,   3731,   4890,   5086,   5401, 
/* msg =    794, deg = 18 */    282,    576,    658,   1014,   1306,   1604,   1856,   2029,   2330,   2605,   2780,   2873,   3354,   3641,   3732,   4891,   5087,   5402, 
/* msg =    795, deg = 18 */    283,    577,    659,   1015,   1307,   1605,   1857,   2030,   2331,   2606,   2781,   2874,   3355,   3642,   3733,   4892,   5088,   5403, 
/* msg =    796, deg = 18 */    284,    578,    660,   1016,   1308,   1606,   1858,   2031,   2332,   2607,   2782,   2875,   3356,   3643,   3734,   4893,   5089,   5404, 
/* msg =    797, deg = 18 */    285,    579,    661,   1017,   1309,   1607,   1859,   2032,   2333,   2608,   2783,   2876,   3357,   3644,   3735,   4894,   5090,   5405, 
/* msg =    798, deg = 18 */    286,    580,    662,   1018,   1310,   1608,   1860,   2033,   2334,   2609,   2784,   2877,   3358,   3645,   3736,   4895,   5091,   5406, 
/* msg =    799, deg = 18 */    287,    581,    663,   1019,   1311,   1609,   1861,   2034,   2335,   2610,   2785,   2878,   3359,   3646,   3737,   4896,   5092,   5407, 
/* msg =    800, deg = 18 */    288,    582,    664,   1020,   1312,   1610,   1862,   2035,   2336,   2611,   2786,   2879,   3360,   3647,   3738,   4897,   5093,   5408, 
/* msg =    801, deg = 18 */    289,    583,    665,   1021,   1313,   1611,   1863,   2036,   2337,   2612,   2787,   2880,   3361,   3648,   3739,   4898,   5094,   5409, 
/* msg =    802, deg = 18 */    290,    584,    666,   1022,   1314,   1612,   1864,   2037,   2338,   2613,   2788,   2881,   3362,   3649,   3740,   4899,   5095,   5410, 
/* msg =    803, deg = 18 */    291,    585,    667,   1023,   1315,   1613,   1865,   2038,   2339,   2614,   2789,   2882,   3363,   3650,   3741,   4900,   5096,   5411, 
/* msg =    804, deg = 18 */    292,    586,    668,    896,   1316,   1614,   1866,   2039,   2340,   2615,   2790,   2883,   3364,   3651,   3742,   4901,   5097,   5412, 
/* msg =    805, deg = 18 */    293,    587,    669,    897,   1317,   1615,   1867,   2040,   2341,   2616,   2791,   2884,   3365,   3652,   3743,   4902,   5098,   5413, 
/* msg =    806, deg = 18 */    294,    588,    670,    898,   1318,   1616,   1868,   2041,   2342,   2617,   2792,   2885,   3366,   3653,   3744,   4903,   5099,   5414, 
/* msg =    807, deg = 18 */    295,    589,    671,    899,   1319,   1617,   1869,   2042,   2343,   2618,   2793,   2886,   3367,   3654,   3745,   4904,   5100,   5415, 
/* msg =    808, deg = 18 */    296,    590,    672,    900,   1320,   1618,   1870,   2043,   2344,   2619,   2794,   2887,   3368,   3655,   3746,   4905,   5101,   5416, 
/* msg =    809, deg = 18 */    297,    591,    673,    901,   1321,   1619,   1871,   2044,   2345,   2620,   2795,   2888,   3369,   3656,   3747,   4906,   5102,   5417, 
/* msg =    810, deg = 18 */    298,    592,    674,    902,   1322,   1620,   1872,   2045,   2346,   2621,   2796,   2889,   3370,   3657,   3748,   4907,   5103,   5418, 
/* msg =    811, deg = 18 */    299,    593,    675,    903,   1323,   1621,   1873,   2046,   2347,   2622,   2797,   2890,   3371,   3658,   3749,   4908,   5104,   5419, 
/* msg =    812, deg = 18 */    300,    594,    676,    904,   1324,   1622,   1874,   2047,   2348,   2623,   2798,   2891,   3372,   3659,   3750,   4909,   5105,   5420, 
/* msg =    813, deg = 18 */    301,    595,    677,    905,   1325,   1623,   1875,   1920,   2349,   2624,   2799,   2892,   3373,   3660,   3751,   4910,   5106,   5421, 
/* msg =    814, deg = 18 */    302,    596,    678,    906,   1326,   1624,   1876,   1921,   2350,   2625,   2800,   2893,   3374,   3661,   3752,   4911,   5107,   5422, 
/* msg =    815, deg = 18 */    303,    597,    679,    907,   1327,   1625,   1877,   1922,   2351,   2626,   2801,   2894,   3375,   3662,   3753,   4912,   5108,   5423, 
/* msg =    816, deg = 18 */    304,    598,    680,    908,   1328,   1626,   1878,   1923,   2352,   2627,   2802,   2895,   3376,   3663,   3754,   4913,   5109,   5424, 
/* msg =    817, deg = 18 */    305,    599,    681,    909,   1329,   1627,   1879,   1924,   2353,   2628,   2803,   2896,   3377,   3664,   3755,   4914,   5110,   5425, 
/* msg =    818, deg = 18 */    306,    600,    682,    910,   1330,   1628,   1880,   1925,   2354,   2629,   2804,   2897,   3378,   3665,   3756,   4915,   5111,   5426, 
/* msg =    819, deg = 18 */    307,    601,    683,    911,   1331,   1629,   1881,   1926,   2355,   2630,   2805,   2898,   3379,   3666,   3757,   4916,   5112,   5427, 
/* msg =    820, deg = 18 */    308,    602,    684,    912,   1332,   1630,   1882,   1927,   2356,   2631,   2806,   2899,   3380,   3667,   3758,   4917,   5113,   5428, 
/* msg =    821, deg = 18 */    309,    603,    685,    913,   1333,   1631,   1883,   1928,   2357,   2632,   2807,   2900,   3381,   3668,   3759,   4918,   5114,   5429, 
/* msg =    822, deg = 18 */    310,    604,    686,    914,   1334,   1632,   1884,   1929,   2358,   2633,   2808,   2901,   3382,   3669,   3760,   4919,   5115,   5430, 
/* msg =    823, deg = 18 */    311,    605,    687,    915,   1335,   1633,   1885,   1930,   2359,   2634,   2809,   2902,   3383,   3670,   3761,   4920,   5116,   5431, 
/* msg =    824, deg = 18 */    312,    606,    688,    916,   1336,   1634,   1886,   1931,   2360,   2635,   2810,   2903,   3384,   3671,   3762,   4921,   5117,   5432, 
/* msg =    825, deg = 18 */    313,    607,    689,    917,   1337,   1635,   1887,   1932,   2361,   2636,   2811,   2904,   3385,   3672,   3763,   4922,   5118,   5433, 
/* msg =    826, deg = 18 */    314,    608,    690,    918,   1338,   1636,   1888,   1933,   2362,   2637,   2812,   2905,   3386,   3673,   3764,   4923,   5119,   5434, 
/* msg =    827, deg = 18 */    315,    609,    691,    919,   1339,   1637,   1889,   1934,   2363,   2638,   2813,   2906,   3387,   3674,   3765,   4924,   4992,   5435, 
/* msg =    828, deg = 18 */    316,    610,    692,    920,   1340,   1638,   1890,   1935,   2364,   2639,   2814,   2907,   3388,   3675,   3766,   4925,   4993,   5436, 
/* msg =    829, deg = 18 */    317,    611,    693,    921,   1341,   1639,   1891,   1936,   2365,   2640,   2815,   2908,   3389,   3676,   3767,   4926,   4994,   5437, 
/* msg =    830, deg = 18 */    318,    612,    694,    922,   1342,   1640,   1892,   1937,   2366,   2641,   2688,   2909,   3390,   3677,   3768,   4927,   4995,   5438, 
/* msg =    831, deg = 18 */    319,    613,    695,    923,   1343,   1641,   1893,   1938,   2367,   2642,   2689,   2910,   3391,   3678,   3769,   4928,   4996,   5439, 
/* msg =    832, deg = 18 */    320,    614,    696,    924,   1344,   1642,   1894,   1939,   2368,   2643,   2690,   2911,   3392,   3679,   3770,   4929,   4997,   5440, 
/* msg =    833, deg = 18 */    321,    615,    697,    925,   1345,   1643,   1895,   1940,   2369,   2644,   2691,   2912,   3393,   3680,   3771,   4930,   4998,   5441, 
/* msg =    834, deg = 18 */    322,    616,    698,    926,   1346,   1644,   1896,   1941,   2370,   2645,   2692,   2913,   3394,   3681,   3772,   4931,   4999,   5442, 
/* msg =    835, deg = 18 */    323,    617,    699,    927,   1347,   1645,   1897,   1942,   2371,   2646,   2693,   2914,   3395,   3682,   3773,   4932,   5000,   5443, 
/* msg =    836, deg = 18 */    324,    618,    700,    928,   1348,   1646,   1898,   1943,   2372,   2647,   2694,   2915,   3396,   3683,   3774,   4933,   5001,   5444, 
/* msg =    837, deg = 18 */    325,    619,    701,    929,   1349,   1647,   1899,   1944,   2373,   2648,   2695,   2916,   3397,   3684,   3775,   4934,   5002,   5445, 
/* msg =    838, deg = 18 */    326,    620,    702,    930,   1350,   1648,   1900,   1945,   2374,   2649,   2696,   2917,   3398,   3685,   3776,   4935,   5003,   5446, 
/* msg =    839, deg = 18 */    327,    621,    703,    931,   1351,   1649,   1901,   1946,   2375,   2650,   2697,   2918,   3399,   3686,   3777,   4936,   5004,   5447, 
/* msg =    840, deg = 18 */    328,    622,    704,    932,   1352,   1650,   1902,   1947,   2376,   2651,   2698,   2919,   3400,   3687,   3778,   4937,   5005,   5448, 
/* msg =    841, deg = 18 */    329,    623,    705,    933,   1353,   1651,   1903,   1948,   2377,   2652,   2699,   2920,   3401,   3688,   3779,   4938,   5006,   5449, 
/* msg =    842, deg = 18 */    330,    624,    706,    934,   1354,   1652,   1904,   1949,   2378,   2653,   2700,   2921,   3402,   3689,   3780,   4939,   5007,   5450, 
/* msg =    843, deg = 18 */    331,    625,    707,    935,   1355,   1653,   1905,   1950,   2379,   2654,   2701,   2922,   3403,   3690,   3781,   4940,   5008,   5451, 
/* msg =    844, deg = 18 */    332,    626,    708,    936,   1356,   1654,   1906,   1951,   2380,   2655,   2702,   2923,   3404,   3691,   3782,   4941,   5009,   5452, 
/* msg =    845, deg = 18 */    333,    627,    709,    937,   1357,   1655,   1907,   1952,   2381,   2656,   2703,   2924,   3405,   3692,   3783,   4942,   5010,   5453, 
/* msg =    846, deg = 18 */    334,    628,    710,    938,   1358,   1656,   1908,   1953,   2382,   2657,   2704,   2925,   3406,   3693,   3784,   4943,   5011,   5454, 
/* msg =    847, deg = 18 */    335,    629,    711,    939,   1359,   1657,   1909,   1954,   2383,   2658,   2705,   2926,   3407,   3694,   3785,   4944,   5012,   5455, 
/* msg =    848, deg = 18 */    336,    630,    712,    940,   1360,   1658,   1910,   1955,   2384,   2659,   2706,   2927,   3408,   3695,   3786,   4945,   5013,   5456, 
/* msg =    849, deg = 18 */    337,    631,    713,    941,   1361,   1659,   1911,   1956,   2385,   2660,   2707,   2928,   3409,   3696,   3787,   4946,   5014,   5457, 
/* msg =    850, deg = 18 */    338,    632,    714,    942,   1362,   1660,   1912,   1957,   2386,   2661,   2708,   2929,   3410,   3697,   3788,   4947,   5015,   5458, 
/* msg =    851, deg = 18 */    339,    633,    715,    943,   1363,   1661,   1913,   1958,   2387,   2662,   2709,   2930,   3411,   3698,   3789,   4948,   5016,   5459, 
/* msg =    852, deg = 18 */    340,    634,    716,    944,   1364,   1662,   1914,   1959,   2388,   2663,   2710,   2931,   3412,   3699,   3790,   4949,   5017,   5460, 
/* msg =    853, deg = 18 */    341,    635,    717,    945,   1365,   1663,   1915,   1960,   2389,   2664,   2711,   2932,   3413,   3700,   3791,   4950,   5018,   5461, 
/* msg =    854, deg = 18 */    342,    636,    718,    946,   1366,   1536,   1916,   1961,   2390,   2665,   2712,   2933,   3414,   3701,   3792,   4951,   5019,   5462, 
/* msg =    855, deg = 18 */    343,    637,    719,    947,   1367,   1537,   1917,   1962,   2391,   2666,   2713,   2934,   3415,   3702,   3793,   4952,   5020,   5463, 
/* msg =    856, deg = 18 */    344,    638,    720,    948,   1368,   1538,   1918,   1963,   2392,   2667,   2714,   2935,   3416,   3703,   3794,   4953,   5021,   5464, 
/* msg =    857, deg = 18 */    345,    639,    721,    949,   1369,   1539,   1919,   1964,   2393,   2668,   2715,   2936,   3417,   3704,   3795,   4954,   5022,   5465, 
/* msg =    858, deg = 18 */    346,    512,    722,    950,   1370,   1540,   1792,   1965,   2394,   2669,   2716,   2937,   3418,   3705,   3796,   4955,   5023,   5466, 
/* msg =    859, deg = 18 */    347,    513,    723,    951,   1371,   1541,   1793,   1966,   2395,   2670,   2717,   2938,   3419,   3706,   3797,   4956,   5024,   5467, 
/* msg =    860, deg = 18 */    348,    514,    724,    952,   1372,   1542,   1794,   1967,   2396,   2671,   2718,   2939,   3420,   3707,   3798,   4957,   5025,   5468, 
/* msg =    861, deg = 18 */    349,    515,    725,    953,   1373,   1543,   1795,   1968,   2397,   2672,   2719,   2940,   3421,   3708,   3799,   4958,   5026,   5469, 
/* msg =    862, deg = 18 */    350,    516,    726,    954,   1374,   1544,   1796,   1969,   2398,   2673,   2720,   2941,   3422,   3709,   3800,   4959,   5027,   5470, 
/* msg =    863, deg = 18 */    351,    517,    727,    955,   1375,   1545,   1797,   1970,   2399,   2674,   2721,   2942,   3423,   3710,   3801,   4960,   5028,   5471, 
/* msg =    864, deg = 18 */    352,    518,    728,    956,   1376,   1546,   1798,   1971,   2400,   2675,   2722,   2943,   3424,   3711,   3802,   4961,   5029,   5472, 
/* msg =    865, deg = 18 */    353,    519,    729,    957,   1377,   1547,   1799,   1972,   2401,   2676,   2723,   2816,   3425,   3584,   3803,   4962,   5030,   5473, 
/* msg =    866, deg = 18 */    354,    520,    730,    958,   1378,   1548,   1800,   1973,   2402,   2677,   2724,   2817,   3426,   3585,   3804,   4963,   5031,   5474, 
/* msg =    867, deg = 18 */    355,    521,    731,    959,   1379,   1549,   1801,   1974,   2403,   2678,   2725,   2818,   3427,   3586,   3805,   4964,   5032,   5475, 
/* msg =    868, deg = 18 */    356,    522,    732,    960,   1380,   1550,   1802,   1975,   2404,   2679,   2726,   2819,   3428,   3587,   3806,   4965,   5033,   5476, 
/* msg =    869, deg = 18 */    357,    523,    733,    961,   1381,   1551,   1803,   1976,   2405,   2680,   2727,   2820,   3429,   3588,   3807,   4966,   5034,   5477, 
/* msg =    870, deg = 18 */    358,    524,    734,    962,   1382,   1552,   1804,   1977,   2406,   2681,   2728,   2821,   3430,   3589,   3808,   4967,   5035,   5478, 
/* msg =    871, deg = 18 */    359,    525,    735,    963,   1383,   1553,   1805,   1978,   2407,   2682,   2729,   2822,   3431,   3590,   3809,   4968,   5036,   5479, 
/* msg =    872, deg = 18 */    360,    526,    736,    964,   1384,   1554,   1806,   1979,   2408,   2683,   2730,   2823,   3432,   3591,   3810,   4969,   5037,   5480, 
/* msg =    873, deg = 18 */    361,    527,    737,    965,   1385,   1555,   1807,   1980,   2409,   2684,   2731,   2824,   3433,   3592,   3811,   4970,   5038,   5481, 
/* msg =    874, deg = 18 */    362,    528,    738,    966,   1386,   1556,   1808,   1981,   2410,   2685,   2732,   2825,   3434,   3593,   3812,   4971,   5039,   5482, 
/* msg =    875, deg = 18 */    363,    529,    739,    967,   1387,   1557,   1809,   1982,   2411,   2686,   2733,   2826,   3435,   3594,   3813,   4972,   5040,   5483, 
/* msg =    876, deg = 18 */    364,    530,    740,    968,   1388,   1558,   1810,   1983,   2412,   2687,   2734,   2827,   3436,   3595,   3814,   4973,   5041,   5484, 
/* msg =    877, deg = 18 */    365,    531,    741,    969,   1389,   1559,   1811,   1984,   2413,   2560,   2735,   2828,   3437,   3596,   3815,   4974,   5042,   5485, 
/* msg =    878, deg = 18 */    366,    532,    742,    970,   1390,   1560,   1812,   1985,   2414,   2561,   2736,   2829,   3438,   3597,   3816,   4975,   5043,   5486, 
/* msg =    879, deg = 18 */    367,    533,    743,    971,   1391,   1561,   1813,   1986,   2415,   2562,   2737,   2830,   3439,   3598,   3817,   4976,   5044,   5487, 
/* msg =    880, deg = 18 */    368,    534,    744,    972,   1392,   1562,   1814,   1987,   2416,   2563,   2738,   2831,   3440,   3599,   3818,   4977,   5045,   5488, 
/* msg =    881, deg = 18 */    369,    535,    745,    973,   1393,   1563,   1815,   1988,   2417,   2564,   2739,   2832,   3441,   3600,   3819,   4978,   5046,   5489, 
/* msg =    882, deg = 18 */    370,    536,    746,    974,   1394,   1564,   1816,   1989,   2418,   2565,   2740,   2833,   3442,   3601,   3820,   4979,   5047,   5490, 
/* msg =    883, deg = 18 */    371,    537,    747,    975,   1395,   1565,   1817,   1990,   2419,   2566,   2741,   2834,   3443,   3602,   3821,   4980,   5048,   5491, 
/* msg =    884, deg = 18 */    372,    538,    748,    976,   1396,   1566,   1818,   1991,   2420,   2567,   2742,   2835,   3444,   3603,   3822,   4981,   5049,   5492, 
/* msg =    885, deg = 18 */    373,    539,    749,    977,   1397,   1567,   1819,   1992,   2421,   2568,   2743,   2836,   3445,   3604,   3823,   4982,   5050,   5493, 
/* msg =    886, deg = 18 */    374,    540,    750,    978,   1398,   1568,   1820,   1993,   2422,   2569,   2744,   2837,   3446,   3605,   3824,   4983,   5051,   5494, 
/* msg =    887, deg = 18 */    375,    541,    751,    979,   1399,   1569,   1821,   1994,   2423,   2570,   2745,   2838,   3447,   3606,   3825,   4984,   5052,   5495, 
/* msg =    888, deg = 18 */    376,    542,    752,    980,   1400,   1570,   1822,   1995,   2424,   2571,   2746,   2839,   3448,   3607,   3826,   4985,   5053,   5496, 
/* msg =    889, deg = 18 */    377,    543,    753,    981,   1401,   1571,   1823,   1996,   2425,   2572,   2747,   2840,   3449,   3608,   3827,   4986,   5054,   5497, 
/* msg =    890, deg = 18 */    378,    544,    754,    982,   1402,   1572,   1824,   1997,   2426,   2573,   2748,   2841,   3450,   3609,   3828,   4987,   5055,   5498, 
/* msg =    891, deg = 18 */    379,    545,    755,    983,   1403,   1573,   1825,   1998,   2427,   2574,   2749,   2842,   3451,   3610,   3829,   4988,   5056,   5499, 
/* msg =    892, deg = 18 */    380,    546,    756,    984,   1404,   1574,   1826,   1999,   2428,   2575,   2750,   2843,   3452,   3611,   3830,   4989,   5057,   5500, 
/* msg =    893, deg = 18 */    381,    547,    757,    985,   1405,   1575,   1827,   2000,   2429,   2576,   2751,   2844,   3453,   3612,   3831,   4990,   5058,   5501, 
/* msg =    894, deg = 18 */    382,    548,    758,    986,   1406,   1576,   1828,   2001,   2430,   2577,   2752,   2845,   3454,   3613,   3832,   4991,   5059,   5502, 
/* msg =    895, deg = 18 */    383,    549,    759,    987,   1407,   1577,   1829,   2002,   2431,   2578,   2753,   2846,   3455,   3614,   3833,   4864,   5060,   5503, 
/* msg =    896, deg = 18 */    384,    550,    658,    830,   1408,   1652,   1695,   1993,   2432,   2727,   2929,   2950,   3456,   3776,   3933,   4702,   5091,   5504, 
/* msg =    897, deg = 18 */    385,    551,    659,    831,   1409,   1653,   1696,   1994,   2433,   2728,   2930,   2951,   3457,   3777,   3934,   4703,   5092,   5505, 
/* msg =    898, deg = 18 */    386,    552,    660,    832,   1410,   1654,   1697,   1995,   2434,   2729,   2931,   2952,   3458,   3778,   3935,   4704,   5093,   5506, 
/* msg =    899, deg = 18 */    387,    553,    661,    833,   1411,   1655,   1698,   1996,   2435,   2730,   2932,   2953,   3459,   3779,   3936,   4705,   5094,   5507, 
/* msg =    900, deg = 18 */    388,    554,    662,    834,   1412,   1656,   1699,   1997,   2436,   2731,   2933,   2954,   3460,   3780,   3937,   4706,   5095,   5508, 
/* msg =    901, deg = 18 */    389,    555,    663,    835,   1413,   1657,   1700,   1998,   2437,   2732,   2934,   2955,   3461,   3781,   3938,   4707,   5096,   5509, 
/* msg =    902, deg = 18 */    390,    556,    664,    836,   1414,   1658,   1701,   1999,   2438,   2733,   2935,   2956,   3462,   3782,   3939,   4708,   5097,   5510, 
/* msg =    903, deg = 18 */    391,    557,    665,    837,   1415,   1659,   1702,   2000,   2439,   2734,   2936,   2957,   3463,   3783,   3940,   4709,   5098,   5511, 
/* msg =    904, deg = 18 */    392,    558,    666,    838,   1416,   1660,   1703,   2001,   2440,   2735,   2937,   2958,   3464,   3784,   3941,   4710,   5099,   5512, 
/* msg =    905, deg = 18 */    393,    559,    667,    839,   1417,   1661,   1704,   2002,   2441,   2736,   2938,   2959,   3465,   3785,   3942,   4711,   5100,   5513, 
/* msg =    906, deg = 18 */    394,    560,    668,    840,   1418,   1662,   1705,   2003,   2442,   2737,   2939,   2960,   3466,   3786,   3943,   4712,   5101,   5514, 
/* msg =    907, deg = 18 */    395,    561,    669,    841,   1419,   1663,   1706,   2004,   2443,   2738,   2940,   2961,   3467,   3787,   3944,   4713,   5102,   5515, 
/* msg =    908, deg = 18 */    396,    562,    670,    842,   1420,   1536,   1707,   2005,   2444,   2739,   2941,   2962,   3468,   3788,   3945,   4714,   5103,   5516, 
/* msg =    909, deg = 18 */    397,    563,    671,    843,   1421,   1537,   1708,   2006,   2445,   2740,   2942,   2963,   3469,   3789,   3946,   4715,   5104,   5517, 
/* msg =    910, deg = 18 */    398,    564,    672,    844,   1422,   1538,   1709,   2007,   2446,   2741,   2943,   2964,   3470,   3790,   3947,   4716,   5105,   5518, 
/* msg =    911, deg = 18 */    399,    565,    673,    845,   1423,   1539,   1710,   2008,   2447,   2742,   2816,   2965,   3471,   3791,   3948,   4717,   5106,   5519, 
/* msg =    912, deg = 18 */    400,    566,    674,    846,   1424,   1540,   1711,   2009,   2448,   2743,   2817,   2966,   3472,   3792,   3949,   4718,   5107,   5520, 
/* msg =    913, deg = 18 */    401,    567,    675,    847,   1425,   1541,   1712,   2010,   2449,   2744,   2818,   2967,   3473,   3793,   3950,   4719,   5108,   5521, 
/* msg =    914, deg = 18 */    402,    568,    676,    848,   1426,   1542,   1713,   2011,   2450,   2745,   2819,   2968,   3474,   3794,   3951,   4720,   5109,   5522, 
/* msg =    915, deg = 18 */    403,    569,    677,    849,   1427,   1543,   1714,   2012,   2451,   2746,   2820,   2969,   3475,   3795,   3952,   4721,   5110,   5523, 
/* msg =    916, deg = 18 */    404,    570,    678,    850,   1428,   1544,   1715,   2013,   2452,   2747,   2821,   2970,   3476,   3796,   3953,   4722,   5111,   5524, 
/* msg =    917, deg = 18 */    405,    571,    679,    851,   1429,   1545,   1716,   2014,   2453,   2748,   2822,   2971,   3477,   3797,   3954,   4723,   5112,   5525, 
/* msg =    918, deg = 18 */    406,    572,    680,    852,   1430,   1546,   1717,   2015,   2454,   2749,   2823,   2972,   3478,   3798,   3955,   4724,   5113,   5526, 
/* msg =    919, deg = 18 */    407,    573,    681,    853,   1431,   1547,   1718,   2016,   2455,   2750,   2824,   2973,   3479,   3799,   3956,   4725,   5114,   5527, 
/* msg =    920, deg = 18 */    408,    574,    682,    854,   1432,   1548,   1719,   2017,   2456,   2751,   2825,   2974,   3480,   3800,   3957,   4726,   5115,   5528, 
/* msg =    921, deg = 18 */    409,    575,    683,    855,   1433,   1549,   1720,   2018,   2457,   2752,   2826,   2975,   3481,   3801,   3958,   4727,   5116,   5529, 
/* msg =    922, deg = 18 */    410,    576,    684,    856,   1434,   1550,   1721,   2019,   2458,   2753,   2827,   2976,   3482,   3802,   3959,   4728,   5117,   5530, 
/* msg =    923, deg = 18 */    411,    577,    685,    857,   1435,   1551,   1722,   2020,   2459,   2754,   2828,   2977,   3483,   3803,   3960,   4729,   5118,   5531, 
/* msg =    924, deg = 18 */    412,    578,    686,    858,   1436,   1552,   1723,   2021,   2460,   2755,   2829,   2978,   3484,   3804,   3961,   4730,   5119,   5532, 
/* msg =    925, deg = 18 */    413,    579,    687,    859,   1437,   1553,   1724,   2022,   2461,   2756,   2830,   2979,   3485,   3805,   3962,   4731,   4992,   5533, 
/* msg =    926, deg = 18 */    414,    580,    688,    860,   1438,   1554,   1725,   2023,   2462,   2757,   2831,   2980,   3486,   3806,   3963,   4732,   4993,   5534, 
/* msg =    927, deg = 18 */    415,    581,    689,    861,   1439,   1555,   1726,   2024,   2463,   2758,   2832,   2981,   3487,   3807,   3964,   4733,   4994,   5535, 
/* msg =    928, deg = 18 */    416,    582,    690,    862,   1440,   1556,   1727,   2025,   2464,   2759,   2833,   2982,   3488,   3808,   3965,   4734,   4995,   5536, 
/* msg =    929, deg = 18 */    417,    583,    691,    863,   1441,   1557,   1728,   2026,   2465,   2760,   2834,   2983,   3489,   3809,   3966,   4735,   4996,   5537, 
/* msg =    930, deg = 18 */    418,    584,    692,    864,   1442,   1558,   1729,   2027,   2466,   2761,   2835,   2984,   3490,   3810,   3967,   4608,   4997,   5538, 
/* msg =    931, deg = 18 */    419,    585,    693,    865,   1443,   1559,   1730,   2028,   2467,   2762,   2836,   2985,   3491,   3811,   3840,   4609,   4998,   5539, 
/* msg =    932, deg = 18 */    420,    586,    694,    866,   1444,   1560,   1731,   2029,   2468,   2763,   2837,   2986,   3492,   3812,   3841,   4610,   4999,   5540, 
/* msg =    933, deg = 18 */    421,    587,    695,    867,   1445,   1561,   1732,   2030,   2469,   2764,   2838,   2987,   3493,   3813,   3842,   4611,   5000,   5541, 
/* msg =    934, deg = 18 */    422,    588,    696,    868,   1446,   1562,   1733,   2031,   2470,   2765,   2839,   2988,   3494,   3814,   3843,   4612,   5001,   5542, 
/* msg =    935, deg = 18 */    423,    589,    697,    869,   1447,   1563,   1734,   2032,   2471,   2766,   2840,   2989,   3495,   3815,   3844,   4613,   5002,   5543, 
/* msg =    936, deg = 18 */    424,    590,    698,    870,   1448,   1564,   1735,   2033,   2472,   2767,   2841,   2990,   3496,   3816,   3845,   4614,   5003,   5544, 
/* msg =    937, deg = 18 */    425,    591,    699,    871,   1449,   1565,   1736,   2034,   2473,   2768,   2842,   2991,   3497,   3817,   3846,   4615,   5004,   5545, 
/* msg =    938, deg = 18 */    426,    592,    700,    872,   1450,   1566,   1737,   2035,   2474,   2769,   2843,   2992,   3498,   3818,   3847,   4616,   5005,   5546, 
/* msg =    939, deg = 18 */    427,    593,    701,    873,   1451,   1567,   1738,   2036,   2475,   2770,   2844,   2993,   3499,   3819,   3848,   4617,   5006,   5547, 
/* msg =    940, deg = 18 */    428,    594,    702,    874,   1452,   1568,   1739,   2037,   2476,   2771,   2845,   2994,   3500,   3820,   3849,   4618,   5007,   5548, 
/* msg =    941, deg = 18 */    429,    595,    703,    875,   1453,   1569,   1740,   2038,   2477,   2772,   2846,   2995,   3501,   3821,   3850,   4619,   5008,   5549, 
/* msg =    942, deg = 18 */    430,    596,    704,    876,   1454,   1570,   1741,   2039,   2478,   2773,   2847,   2996,   3502,   3822,   3851,   4620,   5009,   5550, 
/* msg =    943, deg = 18 */    431,    597,    705,    877,   1455,   1571,   1742,   2040,   2479,   2774,   2848,   2997,   3503,   3823,   3852,   4621,   5010,   5551, 
/* msg =    944, deg = 18 */    432,    598,    706,    878,   1456,   1572,   1743,   2041,   2480,   2775,   2849,   2998,   3504,   3824,   3853,   4622,   5011,   5552, 
/* msg =    945, deg = 18 */    433,    599,    707,    879,   1457,   1573,   1744,   2042,   2481,   2776,   2850,   2999,   3505,   3825,   3854,   4623,   5012,   5553, 
/* msg =    946, deg = 18 */    434,    600,    708,    880,   1458,   1574,   1745,   2043,   2482,   2777,   2851,   3000,   3506,   3826,   3855,   4624,   5013,   5554, 
/* msg =    947, deg = 18 */    435,    601,    709,    881,   1459,   1575,   1746,   2044,   2483,   2778,   2852,   3001,   3507,   3827,   3856,   4625,   5014,   5555, 
/* msg =    948, deg = 18 */    436,    602,    710,    882,   1460,   1576,   1747,   2045,   2484,   2779,   2853,   3002,   3508,   3828,   3857,   4626,   5015,   5556, 
/* msg =    949, deg = 18 */    437,    603,    711,    883,   1461,   1577,   1748,   2046,   2485,   2780,   2854,   3003,   3509,   3829,   3858,   4627,   5016,   5557, 
/* msg =    950, deg = 18 */    438,    604,    712,    884,   1462,   1578,   1749,   2047,   2486,   2781,   2855,   3004,   3510,   3830,   3859,   4628,   5017,   5558, 
/* msg =    951, deg = 18 */    439,    605,    713,    885,   1463,   1579,   1750,   1920,   2487,   2782,   2856,   3005,   3511,   3831,   3860,   4629,   5018,   5559, 
/* msg =    952, deg = 18 */    440,    606,    714,    886,   1464,   1580,   1751,   1921,   2488,   2783,   2857,   3006,   3512,   3832,   3861,   4630,   5019,   5560, 
/* msg =    953, deg = 18 */    441,    607,    715,    887,   1465,   1581,   1752,   1922,   2489,   2784,   2858,   3007,   3513,   3833,   3862,   4631,   5020,   5561, 
/* msg =    954, deg = 18 */    442,    608,    716,    888,   1466,   1582,   1753,   1923,   2490,   2785,   2859,   3008,   3514,   3834,   3863,   4632,   5021,   5562, 
/* msg =    955, deg = 18 */    443,    609,    717,    889,   1467,   1583,   1754,   1924,   2491,   2786,   2860,   3009,   3515,   3835,   3864,   4633,   5022,   5563, 
/* msg =    956, deg = 18 */    444,    610,    718,    890,   1468,   1584,   1755,   1925,   2492,   2787,   2861,   3010,   3516,   3836,   3865,   4634,   5023,   5564, 
/* msg =    957, deg = 18 */    445,    611,    719,    891,   1469,   1585,   1756,   1926,   2493,   2788,   2862,   3011,   3517,   3837,   3866,   4635,   5024,   5565, 
/* msg =    958, deg = 18 */    446,    612,    720,    892,   1470,   1586,   1757,   1927,   2494,   2789,   2863,   3012,   3518,   3838,   3867,   4636,   5025,   5566, 
/* msg =    959, deg = 18 */    447,    613,    721,    893,   1471,   1587,   1758,   1928,   2495,   2790,   2864,   3013,   3519,   3839,   3868,   4637,   5026,   5567, 
/* msg =    960, deg = 18 */    448,    614,    722,    894,   1472,   1588,   1759,   1929,   2496,   2791,   2865,   3014,   3520,   3712,   3869,   4638,   5027,   5568, 
/* msg =    961, deg = 18 */    449,    615,    723,    895,   1473,   1589,   1760,   1930,   2497,   2792,   2866,   3015,   3521,   3713,   3870,   4639,   5028,   5569, 
/* msg =    962, deg = 18 */    450,    616,    724,    768,   1474,   1590,   1761,   1931,   2498,   2793,   2867,   3016,   3522,   3714,   3871,   4640,   5029,   5570, 
/* msg =    963, deg = 18 */    451,    617,    725,    769,   1475,   1591,   1762,   1932,   2499,   2794,   2868,   3017,   3523,   3715,   3872,   4641,   5030,   5571, 
/* msg =    964, deg = 18 */    452,    618,    726,    770,   1476,   1592,   1763,   1933,   2500,   2795,   2869,   3018,   3524,   3716,   3873,   4642,   5031,   5572, 
/* msg =    965, deg = 18 */    453,    619,    727,    771,   1477,   1593,   1764,   1934,   2501,   2796,   2870,   3019,   3525,   3717,   3874,   4643,   5032,   5573, 
/* msg =    966, deg = 18 */    454,    620,    728,    772,   1478,   1594,   1765,   1935,   2502,   2797,   2871,   3020,   3526,   3718,   3875,   4644,   5033,   5574, 
/* msg =    967, deg = 18 */    455,    621,    729,    773,   1479,   1595,   1766,   1936,   2503,   2798,   2872,   3021,   3527,   3719,   3876,   4645,   5034,   5575, 
/* msg =    968, deg = 18 */    456,    622,    730,    774,   1480,   1596,   1767,   1937,   2504,   2799,   2873,   3022,   3528,   3720,   3877,   4646,   5035,   5576, 
/* msg =    969, deg = 18 */    457,    623,    731,    775,   1481,   1597,   1768,   1938,   2505,   2800,   2874,   3023,   3529,   3721,   3878,   4647,   5036,   5577, 
/* msg =    970, deg = 18 */    458,    624,    732,    776,   1482,   1598,   1769,   1939,   2506,   2801,   2875,   3024,   3530,   3722,   3879,   4648,   5037,   5578, 
/* msg =    971, deg = 18 */    459,    625,    733,    777,   1483,   1599,   1770,   1940,   2507,   2802,   2876,   3025,   3531,   3723,   3880,   4649,   5038,   5579, 
/* msg =    972, deg = 18 */    460,    626,    734,    778,   1484,   1600,   1771,   1941,   2508,   2803,   2877,   3026,   3532,   3724,   3881,   4650,   5039,   5580, 
/* msg =    973, deg = 18 */    461,    627,    735,    779,   1485,   1601,   1772,   1942,   2509,   2804,   2878,   3027,   3533,   3725,   3882,   4651,   5040,   5581, 
/* msg =    974, deg = 18 */    462,    628,    736,    780,   1486,   1602,   1773,   1943,   2510,   2805,   2879,   3028,   3534,   3726,   3883,   4652,   5041,   5582, 
/* msg =    975, deg = 18 */    463,    629,    737,    781,   1487,   1603,   1774,   1944,   2511,   2806,   2880,   3029,   3535,   3727,   3884,   4653,   5042,   5583, 
/* msg =    976, deg = 18 */    464,    630,    738,    782,   1488,   1604,   1775,   1945,   2512,   2807,   2881,   3030,   3536,   3728,   3885,   4654,   5043,   5584, 
/* msg =    977, deg = 18 */    465,    631,    739,    783,   1489,   1605,   1776,   1946,   2513,   2808,   2882,   3031,   3537,   3729,   3886,   4655,   5044,   5585, 
/* msg =    978, deg = 18 */    466,    632,    740,    784,   1490,   1606,   1777,   1947,   2514,   2809,   2883,   3032,   3538,   3730,   3887,   4656,   5045,   5586, 
/* msg =    979, deg = 18 */    467,    633,    741,    785,   1491,   1607,   1778,   1948,   2515,   2810,   2884,   3033,   3539,   3731,   3888,   4657,   5046,   5587, 
/* msg =    980, deg = 18 */    468,    634,    742,    786,   1492,   1608,   1779,   1949,   2516,   2811,   2885,   3034,   3540,   3732,   3889,   4658,   5047,   5588, 
/* msg =    981, deg = 18 */    469,    635,    743,    787,   1493,   1609,   1780,   1950,   2517,   2812,   2886,   3035,   3541,   3733,   3890,   4659,   5048,   5589, 
/* msg =    982, deg = 18 */    470,    636,    744,    788,   1494,   1610,   1781,   1951,   2518,   2813,   2887,   3036,   3542,   3734,   3891,   4660,   5049,   5590, 
/* msg =    983, deg = 18 */    471,    637,    745,    789,   1495,   1611,   1782,   1952,   2519,   2814,   2888,   3037,   3543,   3735,   3892,   4661,   5050,   5591, 
/* msg =    984, deg = 18 */    472,    638,    746,    790,   1496,   1612,   1783,   1953,   2520,   2815,   2889,   3038,   3544,   3736,   3893,   4662,   5051,   5592, 
/* msg =    985, deg = 18 */    473,    639,    747,    791,   1497,   1613,   1784,   1954,   2521,   2688,   2890,   3039,   3545,   3737,   3894,   4663,   5052,   5593, 
/* msg =    986, deg = 18 */    474,    512,    748,    792,   1498,   1614,   1785,   1955,   2522,   2689,   2891,   3040,   3546,   3738,   3895,   4664,   5053,   5594, 
/* msg =    987, deg = 18 */    475,    513,    749,    793,   1499,   1615,   1786,   1956,   2523,   2690,   2892,   3041,   3547,   3739,   3896,   4665,   5054,   5595, 
/* msg =    988, deg = 18 */    476,    514,    750,    794,   1500,   1616,   1787,   1957,   2524,   2691,   2893,   3042,   3548,   3740,   3897,   4666,   5055,   5596, 
/* msg =    989, deg = 18 */    477,    515,    751,    795,   1501,   1617,   1788,   1958,   2525,   2692,   2894,   3043,   3549,   3741,   3898,   4667,   5056,   5597, 
/* msg =    990, deg = 18 */    478,    516,    752,    796,   1502,   1618,   1789,   1959,   2526,   2693,   2895,   3044,   3550,   3742,   3899,   4668,   5057,   5598, 
/* msg =    991, deg = 18 */    479,    517,    753,    797,   1503,   1619,   1790,   1960,   2527,   2694,   2896,   3045,   3551,   3743,   3900,   4669,   5058,   5599, 
/* msg =    992, deg = 18 */    480,    518,    754,    798,   1504,   1620,   1791,   1961,   2528,   2695,   2897,   3046,   3552,   3744,   3901,   4670,   5059,   5600, 
/* msg =    993, deg = 18 */    481,    519,    755,    799,   1505,   1621,   1664,   1962,   2529,   2696,   2898,   3047,   3553,   3745,   3902,   4671,   5060,   5601, 
/* msg =    994, deg = 18 */    482,    520,    756,    800,   1506,   1622,   1665,   1963,   2530,   2697,   2899,   3048,   3554,   3746,   3903,   4672,   5061,   5602, 
/* msg =    995, deg = 18 */    483,    521,    757,    801,   1507,   1623,   1666,   1964,   2531,   2698,   2900,   3049,   3555,   3747,   3904,   4673,   5062,   5603, 
/* msg =    996, deg = 18 */    484,    522,    758,    802,   1508,   1624,   1667,   1965,   2532,   2699,   2901,   3050,   3556,   3748,   3905,   4674,   5063,   5604, 
/* msg =    997, deg = 18 */    485,    523,    759,    803,   1509,   1625,   1668,   1966,   2533,   2700,   2902,   3051,   3557,   3749,   3906,   4675,   5064,   5605, 
/* msg =    998, deg = 18 */    486,    524,    760,    804,   1510,   1626,   1669,   1967,   2534,   2701,   2903,   3052,   3558,   3750,   3907,   4676,   5065,   5606, 
/* msg =    999, deg = 18 */    487,    525,    761,    805,   1511,   1627,   1670,   1968,   2535,   2702,   2904,   3053,   3559,   3751,   3908,   4677,   5066,   5607, 
/* msg =   1000, deg = 18 */    488,    526,    762,    806,   1512,   1628,   1671,   1969,   2536,   2703,   2905,   3054,   3560,   3752,   3909,   4678,   5067,   5608, 
/* msg =   1001, deg = 18 */    489,    527,    763,    807,   1513,   1629,   1672,   1970,   2537,   2704,   2906,   3055,   3561,   3753,   3910,   4679,   5068,   5609, 
/* msg =   1002, deg = 18 */    490,    528,    764,    808,   1514,   1630,   1673,   1971,   2538,   2705,   2907,   3056,   3562,   3754,   3911,   4680,   5069,   5610, 
/* msg =   1003, deg = 18 */    491,    529,    765,    809,   1515,   1631,   1674,   1972,   2539,   2706,   2908,   3057,   3563,   3755,   3912,   4681,   5070,   5611, 
/* msg =   1004, deg = 18 */    492,    530,    766,    810,   1516,   1632,   1675,   1973,   2540,   2707,   2909,   3058,   3564,   3756,   3913,   4682,   5071,   5612, 
/* msg =   1005, deg = 18 */    493,    531,    767,    811,   1517,   1633,   1676,   1974,   2541,   2708,   2910,   3059,   3565,   3757,   3914,   4683,   5072,   5613, 
/* msg =   1006, deg = 18 */    494,    532,    640,    812,   1518,   1634,   1677,   1975,   2542,   2709,   2911,   3060,   3566,   3758,   3915,   4684,   5073,   5614, 
/* msg =   1007, deg = 18 */    495,    533,    641,    813,   1519,   1635,   1678,   1976,   2543,   2710,   2912,   3061,   3567,   3759,   3916,   4685,   5074,   5615, 
/* msg =   1008, deg = 18 */    496,    534,    642,    814,   1520,   1636,   1679,   1977,   2544,   2711,   2913,   3062,   3568,   3760,   3917,   4686,   5075,   5616, 
/* msg =   1009, deg = 18 */    497,    535,    643,    815,   1521,   1637,   1680,   1978,   2545,   2712,   2914,   3063,   3569,   3761,   3918,   4687,   5076,   5617, 
/* msg =   1010, deg = 18 */    498,    536,    644,    816,   1522,   1638,   1681,   1979,   2546,   2713,   2915,   3064,   3570,   3762,   3919,   4688,   5077,   5618, 
/* msg =   1011, deg = 18 */    499,    537,    645,    817,   1523,   1639,   1682,   1980,   2547,   2714,   2916,   3065,   3571,   3763,   3920,   4689,   5078,   5619, 
/* msg =   1012, deg = 18 */    500,    538,    646,    818,   1524,   1640,   1683,   1981,   2548,   2715,   2917,   3066,   3572,   3764,   3921,   4690,   5079,   5620, 
/* msg =   1013, deg = 18 */    501,    539,    647,    819,   1525,   1641,   1684,   1982,   2549,   2716,   2918,   3067,   3573,   3765,   3922,   4691,   5080,   5621, 
/* msg =   1014, deg = 18 */    502,    540,    648,    820,   1526,   1642,   1685,   1983,   2550,   2717,   2919,   3068,   3574,   3766,   3923,   4692,   5081,   5622, 
/* msg =   1015, deg = 18 */    503,    541,    649,    821,   1527,   1643,   1686,   1984,   2551,   2718,   2920,   3069,   3575,   3767,   3924,   4693,   5082,   5623, 
/* msg =   1016, deg = 18 */    504,    542,    650,    822,   1528,   1644,   1687,   1985,   2552,   2719,   2921,   3070,   3576,   3768,   3925,   4694,   5083,   5624, 
/* msg =   1017, deg = 18 */    505,    543,    651,    823,   1529,   1645,   1688,   1986,   2553,   2720,   2922,   3071,   3577,   3769,   3926,   4695,   5084,   5625, 
/* msg =   1018, deg = 18 */    506,    544,    652,    824,   1530,   1646,   1689,   1987,   2554,   2721,   2923,   2944,   3578,   3770,   3927,   4696,   5085,   5626, 
/* msg =   1019, deg = 18 */    507,    545,    653,    825,   1531,   1647,   1690,   1988,   2555,   2722,   2924,   2945,   3579,   3771,   3928,   4697,   5086,   5627, 
/* msg =   1020, deg = 18 */    508,    546,    654,    826,   1532,   1648,   1691,   1989,   2556,   2723,   2925,   2946,   3580,   3772,   3929,   4698,   5087,   5628, 
/* msg =   1021, deg = 18 */    509,    547,    655,    827,   1533,   1649,   1692,   1990,   2557,   2724,   2926,   2947,   3581,   3773,   3930,   4699,   5088,   5629, 
/* msg =   1022, deg = 18 */    510,    548,    656,    828,   1534,   1650,   1693,   1991,   2558,   2725,   2927,   2948,   3582,   3774,   3931,   4700,   5089,   5630, 
/* msg =   1023, deg = 18 */    511,    549,    657,    829,   1535,   1651,   1694,   1992,   2559,   2726,   2928,   2949,   3583,   3775,   3932,   4701,   5090,   5631, 
/* msg =   1024, deg =  3 */   4096,   5120,   5520, 
/* msg =   1025, deg =  3 */   4097,   5121,   5521, 
/* msg =   1026, deg =  3 */   4098,   5122,   5522, 
/* msg =   1027, deg =  3 */   4099,   5123,   5523, 
/* msg =   1028, deg =  3 */   4100,   5124,   5524, 
/* msg =   1029, deg =  3 */   4101,   5125,   5525, 
/* msg =   1030, deg =  3 */   4102,   5126,   5526, 
/* msg =   1031, deg =  3 */   4103,   5127,   5527, 
/* msg =   1032, deg =  3 */   4104,   5128,   5528, 
/* msg =   1033, deg =  3 */   4105,   5129,   5529, 
/* msg =   1034, deg =  3 */   4106,   5130,   5530, 
/* msg =   1035, deg =  3 */   4107,   5131,   5531, 
/* msg =   1036, deg =  3 */   4108,   5132,   5532, 
/* msg =   1037, deg =  3 */   4109,   5133,   5533, 
/* msg =   1038, deg =  3 */   4110,   5134,   5534, 
/* msg =   1039, deg =  3 */   4111,   5135,   5535, 
/* msg =   1040, deg =  3 */   4112,   5136,   5536, 
/* msg =   1041, deg =  3 */   4113,   5137,   5537, 
/* msg =   1042, deg =  3 */   4114,   5138,   5538, 
/* msg =   1043, deg =  3 */   4115,   5139,   5539, 
/* msg =   1044, deg =  3 */   4116,   5140,   5540, 
/* msg =   1045, deg =  3 */   4117,   5141,   5541, 
/* msg =   1046, deg =  3 */   4118,   5142,   5542, 
/* msg =   1047, deg =  3 */   4119,   5143,   5543, 
/* msg =   1048, deg =  3 */   4120,   5144,   5544, 
/* msg =   1049, deg =  3 */   4121,   5145,   5545, 
/* msg =   1050, deg =  3 */   4122,   5146,   5546, 
/* msg =   1051, deg =  3 */   4123,   5147,   5547, 
/* msg =   1052, deg =  3 */   4124,   5148,   5548, 
/* msg =   1053, deg =  3 */   4125,   5149,   5549, 
/* msg =   1054, deg =  3 */   4126,   5150,   5550, 
/* msg =   1055, deg =  3 */   4127,   5151,   5551, 
/* msg =   1056, deg =  3 */   4128,   5152,   5552, 
/* msg =   1057, deg =  3 */   4129,   5153,   5553, 
/* msg =   1058, deg =  3 */   4130,   5154,   5554, 
/* msg =   1059, deg =  3 */   4131,   5155,   5555, 
/* msg =   1060, deg =  3 */   4132,   5156,   5556, 
/* msg =   1061, deg =  3 */   4133,   5157,   5557, 
/* msg =   1062, deg =  3 */   4134,   5158,   5558, 
/* msg =   1063, deg =  3 */   4135,   5159,   5559, 
/* msg =   1064, deg =  3 */   4136,   5160,   5560, 
/* msg =   1065, deg =  3 */   4137,   5161,   5561, 
/* msg =   1066, deg =  3 */   4138,   5162,   5562, 
/* msg =   1067, deg =  3 */   4139,   5163,   5563, 
/* msg =   1068, deg =  3 */   4140,   5164,   5564, 
/* msg =   1069, deg =  3 */   4141,   5165,   5565, 
/* msg =   1070, deg =  3 */   4142,   5166,   5566, 
/* msg =   1071, deg =  3 */   4143,   5167,   5567, 
/* msg =   1072, deg =  3 */   4144,   5168,   5568, 
/* msg =   1073, deg =  3 */   4145,   5169,   5569, 
/* msg =   1074, deg =  3 */   4146,   5170,   5570, 
/* msg =   1075, deg =  3 */   4147,   5171,   5571, 
/* msg =   1076, deg =  3 */   4148,   5172,   5572, 
/* msg =   1077, deg =  3 */   4149,   5173,   5573, 
/* msg =   1078, deg =  3 */   4150,   5174,   5574, 
/* msg =   1079, deg =  3 */   4151,   5175,   5575, 
/* msg =   1080, deg =  3 */   4152,   5176,   5576, 
/* msg =   1081, deg =  3 */   4153,   5177,   5577, 
/* msg =   1082, deg =  3 */   4154,   5178,   5578, 
/* msg =   1083, deg =  3 */   4155,   5179,   5579, 
/* msg =   1084, deg =  3 */   4156,   5180,   5580, 
/* msg =   1085, deg =  3 */   4157,   5181,   5581, 
/* msg =   1086, deg =  3 */   4158,   5182,   5582, 
/* msg =   1087, deg =  3 */   4159,   5183,   5583, 
/* msg =   1088, deg =  3 */   4160,   5184,   5584, 
/* msg =   1089, deg =  3 */   4161,   5185,   5585, 
/* msg =   1090, deg =  3 */   4162,   5186,   5586, 
/* msg =   1091, deg =  3 */   4163,   5187,   5587, 
/* msg =   1092, deg =  3 */   4164,   5188,   5588, 
/* msg =   1093, deg =  3 */   4165,   5189,   5589, 
/* msg =   1094, deg =  3 */   4166,   5190,   5590, 
/* msg =   1095, deg =  3 */   4167,   5191,   5591, 
/* msg =   1096, deg =  3 */   4168,   5192,   5592, 
/* msg =   1097, deg =  3 */   4169,   5193,   5593, 
/* msg =   1098, deg =  3 */   4170,   5194,   5594, 
/* msg =   1099, deg =  3 */   4171,   5195,   5595, 
/* msg =   1100, deg =  3 */   4172,   5196,   5596, 
/* msg =   1101, deg =  3 */   4173,   5197,   5597, 
/* msg =   1102, deg =  3 */   4174,   5198,   5598, 
/* msg =   1103, deg =  3 */   4175,   5199,   5599, 
/* msg =   1104, deg =  3 */   4176,   5200,   5600, 
/* msg =   1105, deg =  3 */   4177,   5201,   5601, 
/* msg =   1106, deg =  3 */   4178,   5202,   5602, 
/* msg =   1107, deg =  3 */   4179,   5203,   5603, 
/* msg =   1108, deg =  3 */   4180,   5204,   5604, 
/* msg =   1109, deg =  3 */   4181,   5205,   5605, 
/* msg =   1110, deg =  3 */   4182,   5206,   5606, 
/* msg =   1111, deg =  3 */   4183,   5207,   5607, 
/* msg =   1112, deg =  3 */   4184,   5208,   5608, 
/* msg =   1113, deg =  3 */   4185,   5209,   5609, 
/* msg =   1114, deg =  3 */   4186,   5210,   5610, 
/* msg =   1115, deg =  3 */   4187,   5211,   5611, 
/* msg =   1116, deg =  3 */   4188,   5212,   5612, 
/* msg =   1117, deg =  3 */   4189,   5213,   5613, 
/* msg =   1118, deg =  3 */   4190,   5214,   5614, 
/* msg =   1119, deg =  3 */   4191,   5215,   5615, 
/* msg =   1120, deg =  3 */   4192,   5216,   5616, 
/* msg =   1121, deg =  3 */   4193,   5217,   5617, 
/* msg =   1122, deg =  3 */   4194,   5218,   5618, 
/* msg =   1123, deg =  3 */   4195,   5219,   5619, 
/* msg =   1124, deg =  3 */   4196,   5220,   5620, 
/* msg =   1125, deg =  3 */   4197,   5221,   5621, 
/* msg =   1126, deg =  3 */   4198,   5222,   5622, 
/* msg =   1127, deg =  3 */   4199,   5223,   5623, 
/* msg =   1128, deg =  3 */   4200,   5224,   5624, 
/* msg =   1129, deg =  3 */   4201,   5225,   5625, 
/* msg =   1130, deg =  3 */   4202,   5226,   5626, 
/* msg =   1131, deg =  3 */   4203,   5227,   5627, 
/* msg =   1132, deg =  3 */   4204,   5228,   5628, 
/* msg =   1133, deg =  3 */   4205,   5229,   5629, 
/* msg =   1134, deg =  3 */   4206,   5230,   5630, 
/* msg =   1135, deg =  3 */   4207,   5231,   5631, 
/* msg =   1136, deg =  3 */   4208,   5232,   5504, 
/* msg =   1137, deg =  3 */   4209,   5233,   5505, 
/* msg =   1138, deg =  3 */   4210,   5234,   5506, 
/* msg =   1139, deg =  3 */   4211,   5235,   5507, 
/* msg =   1140, deg =  3 */   4212,   5236,   5508, 
/* msg =   1141, deg =  3 */   4213,   5237,   5509, 
/* msg =   1142, deg =  3 */   4214,   5238,   5510, 
/* msg =   1143, deg =  3 */   4215,   5239,   5511, 
/* msg =   1144, deg =  3 */   4216,   5240,   5512, 
/* msg =   1145, deg =  3 */   4217,   5241,   5513, 
/* msg =   1146, deg =  3 */   4218,   5242,   5514, 
/* msg =   1147, deg =  3 */   4219,   5243,   5515, 
/* msg =   1148, deg =  3 */   4220,   5244,   5516, 
/* msg =   1149, deg =  3 */   4221,   5245,   5517, 
/* msg =   1150, deg =  3 */   4222,   5246,   5518, 
/* msg =   1151, deg =  3 */   4223,   5247,   5519, 
/* msg =   1152, deg =  3 */   4224,   5120,   5248, 
/* msg =   1153, deg =  3 */   4225,   5121,   5249, 
/* msg =   1154, deg =  3 */   4226,   5122,   5250, 
/* msg =   1155, deg =  3 */   4227,   5123,   5251, 
/* msg =   1156, deg =  3 */   4228,   5124,   5252, 
/* msg =   1157, deg =  3 */   4229,   5125,   5253, 
/* msg =   1158, deg =  3 */   4230,   5126,   5254, 
/* msg =   1159, deg =  3 */   4231,   5127,   5255, 
/* msg =   1160, deg =  3 */   4232,   5128,   5256, 
/* msg =   1161, deg =  3 */   4233,   5129,   5257, 
/* msg =   1162, deg =  3 */   4234,   5130,   5258, 
/* msg =   1163, deg =  3 */   4235,   5131,   5259, 
/* msg =   1164, deg =  3 */   4236,   5132,   5260, 
/* msg =   1165, deg =  3 */   4237,   5133,   5261, 
/* msg =   1166, deg =  3 */   4238,   5134,   5262, 
/* msg =   1167, deg =  3 */   4239,   5135,   5263, 
/* msg =   1168, deg =  3 */   4240,   5136,   5264, 
/* msg =   1169, deg =  3 */   4241,   5137,   5265, 
/* msg =   1170, deg =  3 */   4242,   5138,   5266, 
/* msg =   1171, deg =  3 */   4243,   5139,   5267, 
/* msg =   1172, deg =  3 */   4244,   5140,   5268, 
/* msg =   1173, deg =  3 */   4245,   5141,   5269, 
/* msg =   1174, deg =  3 */   4246,   5142,   5270, 
/* msg =   1175, deg =  3 */   4247,   5143,   5271, 
/* msg =   1176, deg =  3 */   4248,   5144,   5272, 
/* msg =   1177, deg =  3 */   4249,   5145,   5273, 
/* msg =   1178, deg =  3 */   4250,   5146,   5274, 
/* msg =   1179, deg =  3 */   4251,   5147,   5275, 
/* msg =   1180, deg =  3 */   4252,   5148,   5276, 
/* msg =   1181, deg =  3 */   4253,   5149,   5277, 
/* msg =   1182, deg =  3 */   4254,   5150,   5278, 
/* msg =   1183, deg =  3 */   4255,   5151,   5279, 
/* msg =   1184, deg =  3 */   4256,   5152,   5280, 
/* msg =   1185, deg =  3 */   4257,   5153,   5281, 
/* msg =   1186, deg =  3 */   4258,   5154,   5282, 
/* msg =   1187, deg =  3 */   4259,   5155,   5283, 
/* msg =   1188, deg =  3 */   4260,   5156,   5284, 
/* msg =   1189, deg =  3 */   4261,   5157,   5285, 
/* msg =   1190, deg =  3 */   4262,   5158,   5286, 
/* msg =   1191, deg =  3 */   4263,   5159,   5287, 
/* msg =   1192, deg =  3 */   4264,   5160,   5288, 
/* msg =   1193, deg =  3 */   4265,   5161,   5289, 
/* msg =   1194, deg =  3 */   4266,   5162,   5290, 
/* msg =   1195, deg =  3 */   4267,   5163,   5291, 
/* msg =   1196, deg =  3 */   4268,   5164,   5292, 
/* msg =   1197, deg =  3 */   4269,   5165,   5293, 
/* msg =   1198, deg =  3 */   4270,   5166,   5294, 
/* msg =   1199, deg =  3 */   4271,   5167,   5295, 
/* msg =   1200, deg =  3 */   4272,   5168,   5296, 
/* msg =   1201, deg =  3 */   4273,   5169,   5297, 
/* msg =   1202, deg =  3 */   4274,   5170,   5298, 
/* msg =   1203, deg =  3 */   4275,   5171,   5299, 
/* msg =   1204, deg =  3 */   4276,   5172,   5300, 
/* msg =   1205, deg =  3 */   4277,   5173,   5301, 
/* msg =   1206, deg =  3 */   4278,   5174,   5302, 
/* msg =   1207, deg =  3 */   4279,   5175,   5303, 
/* msg =   1208, deg =  3 */   4280,   5176,   5304, 
/* msg =   1209, deg =  3 */   4281,   5177,   5305, 
/* msg =   1210, deg =  3 */   4282,   5178,   5306, 
/* msg =   1211, deg =  3 */   4283,   5179,   5307, 
/* msg =   1212, deg =  3 */   4284,   5180,   5308, 
/* msg =   1213, deg =  3 */   4285,   5181,   5309, 
/* msg =   1214, deg =  3 */   4286,   5182,   5310, 
/* msg =   1215, deg =  3 */   4287,   5183,   5311, 
/* msg =   1216, deg =  3 */   4288,   5184,   5312, 
/* msg =   1217, deg =  3 */   4289,   5185,   5313, 
/* msg =   1218, deg =  3 */   4290,   5186,   5314, 
/* msg =   1219, deg =  3 */   4291,   5187,   5315, 
/* msg =   1220, deg =  3 */   4292,   5188,   5316, 
/* msg =   1221, deg =  3 */   4293,   5189,   5317, 
/* msg =   1222, deg =  3 */   4294,   5190,   5318, 
/* msg =   1223, deg =  3 */   4295,   5191,   5319, 
/* msg =   1224, deg =  3 */   4296,   5192,   5320, 
/* msg =   1225, deg =  3 */   4297,   5193,   5321, 
/* msg =   1226, deg =  3 */   4298,   5194,   5322, 
/* msg =   1227, deg =  3 */   4299,   5195,   5323, 
/* msg =   1228, deg =  3 */   4300,   5196,   5324, 
/* msg =   1229, deg =  3 */   4301,   5197,   5325, 
/* msg =   1230, deg =  3 */   4302,   5198,   5326, 
/* msg =   1231, deg =  3 */   4303,   5199,   5327, 
/* msg =   1232, deg =  3 */   4304,   5200,   5328, 
/* msg =   1233, deg =  3 */   4305,   5201,   5329, 
/* msg =   1234, deg =  3 */   4306,   5202,   5330, 
/* msg =   1235, deg =  3 */   4307,   5203,   5331, 
/* msg =   1236, deg =  3 */   4308,   5204,   5332, 
/* msg =   1237, deg =  3 */   4309,   5205,   5333, 
/* msg =   1238, deg =  3 */   4310,   5206,   5334, 
/* msg =   1239, deg =  3 */   4311,   5207,   5335, 
/* msg =   1240, deg =  3 */   4312,   5208,   5336, 
/* msg =   1241, deg =  3 */   4313,   5209,   5337, 
/* msg =   1242, deg =  3 */   4314,   5210,   5338, 
/* msg =   1243, deg =  3 */   4315,   5211,   5339, 
/* msg =   1244, deg =  3 */   4316,   5212,   5340, 
/* msg =   1245, deg =  3 */   4317,   5213,   5341, 
/* msg =   1246, deg =  3 */   4318,   5214,   5342, 
/* msg =   1247, deg =  3 */   4319,   5215,   5343, 
/* msg =   1248, deg =  3 */   4320,   5216,   5344, 
/* msg =   1249, deg =  3 */   4321,   5217,   5345, 
/* msg =   1250, deg =  3 */   4322,   5218,   5346, 
/* msg =   1251, deg =  3 */   4323,   5219,   5347, 
/* msg =   1252, deg =  3 */   4324,   5220,   5348, 
/* msg =   1253, deg =  3 */   4325,   5221,   5349, 
/* msg =   1254, deg =  3 */   4326,   5222,   5350, 
/* msg =   1255, deg =  3 */   4327,   5223,   5351, 
/* msg =   1256, deg =  3 */   4328,   5224,   5352, 
/* msg =   1257, deg =  3 */   4329,   5225,   5353, 
/* msg =   1258, deg =  3 */   4330,   5226,   5354, 
/* msg =   1259, deg =  3 */   4331,   5227,   5355, 
/* msg =   1260, deg =  3 */   4332,   5228,   5356, 
/* msg =   1261, deg =  3 */   4333,   5229,   5357, 
/* msg =   1262, deg =  3 */   4334,   5230,   5358, 
/* msg =   1263, deg =  3 */   4335,   5231,   5359, 
/* msg =   1264, deg =  3 */   4336,   5232,   5360, 
/* msg =   1265, deg =  3 */   4337,   5233,   5361, 
/* msg =   1266, deg =  3 */   4338,   5234,   5362, 
/* msg =   1267, deg =  3 */   4339,   5235,   5363, 
/* msg =   1268, deg =  3 */   4340,   5236,   5364, 
/* msg =   1269, deg =  3 */   4341,   5237,   5365, 
/* msg =   1270, deg =  3 */   4342,   5238,   5366, 
/* msg =   1271, deg =  3 */   4343,   5239,   5367, 
/* msg =   1272, deg =  3 */   4344,   5240,   5368, 
/* msg =   1273, deg =  3 */   4345,   5241,   5369, 
/* msg =   1274, deg =  3 */   4346,   5242,   5370, 
/* msg =   1275, deg =  3 */   4347,   5243,   5371, 
/* msg =   1276, deg =  3 */   4348,   5244,   5372, 
/* msg =   1277, deg =  3 */   4349,   5245,   5373, 
/* msg =   1278, deg =  3 */   4350,   5246,   5374, 
/* msg =   1279, deg =  3 */   4351,   5247,   5375, 
/* msg =   1280, deg =  3 */   4352,   5248,   5376, 
/* msg =   1281, deg =  3 */   4353,   5249,   5377, 
/* msg =   1282, deg =  3 */   4354,   5250,   5378, 
/* msg =   1283, deg =  3 */   4355,   5251,   5379, 
/* msg =   1284, deg =  3 */   4356,   5252,   5380, 
/* msg =   1285, deg =  3 */   4357,   5253,   5381, 
/* msg =   1286, deg =  3 */   4358,   5254,   5382, 
/* msg =   1287, deg =  3 */   4359,   5255,   5383, 
/* msg =   1288, deg =  3 */   4360,   5256,   5384, 
/* msg =   1289, deg =  3 */   4361,   5257,   5385, 
/* msg =   1290, deg =  3 */   4362,   5258,   5386, 
/* msg =   1291, deg =  3 */   4363,   5259,   5387, 
/* msg =   1292, deg =  3 */   4364,   5260,   5388, 
/* msg =   1293, deg =  3 */   4365,   5261,   5389, 
/* msg =   1294, deg =  3 */   4366,   5262,   5390, 
/* msg =   1295, deg =  3 */   4367,   5263,   5391, 
/* msg =   1296, deg =  3 */   4368,   5264,   5392, 
/* msg =   1297, deg =  3 */   4369,   5265,   5393, 
/* msg =   1298, deg =  3 */   4370,   5266,   5394, 
/* msg =   1299, deg =  3 */   4371,   5267,   5395, 
/* msg =   1300, deg =  3 */   4372,   5268,   5396, 
/* msg =   1301, deg =  3 */   4373,   5269,   5397, 
/* msg =   1302, deg =  3 */   4374,   5270,   5398, 
/* msg =   1303, deg =  3 */   4375,   5271,   5399, 
/* msg =   1304, deg =  3 */   4376,   5272,   5400, 
/* msg =   1305, deg =  3 */   4377,   5273,   5401, 
/* msg =   1306, deg =  3 */   4378,   5274,   5402, 
/* msg =   1307, deg =  3 */   4379,   5275,   5403, 
/* msg =   1308, deg =  3 */   4380,   5276,   5404, 
/* msg =   1309, deg =  3 */   4381,   5277,   5405, 
/* msg =   1310, deg =  3 */   4382,   5278,   5406, 
/* msg =   1311, deg =  3 */   4383,   5279,   5407, 
/* msg =   1312, deg =  3 */   4384,   5280,   5408, 
/* msg =   1313, deg =  3 */   4385,   5281,   5409, 
/* msg =   1314, deg =  3 */   4386,   5282,   5410, 
/* msg =   1315, deg =  3 */   4387,   5283,   5411, 
/* msg =   1316, deg =  3 */   4388,   5284,   5412, 
/* msg =   1317, deg =  3 */   4389,   5285,   5413, 
/* msg =   1318, deg =  3 */   4390,   5286,   5414, 
/* msg =   1319, deg =  3 */   4391,   5287,   5415, 
/* msg =   1320, deg =  3 */   4392,   5288,   5416, 
/* msg =   1321, deg =  3 */   4393,   5289,   5417, 
/* msg =   1322, deg =  3 */   4394,   5290,   5418, 
/* msg =   1323, deg =  3 */   4395,   5291,   5419, 
/* msg =   1324, deg =  3 */   4396,   5292,   5420, 
/* msg =   1325, deg =  3 */   4397,   5293,   5421, 
/* msg =   1326, deg =  3 */   4398,   5294,   5422, 
/* msg =   1327, deg =  3 */   4399,   5295,   5423, 
/* msg =   1328, deg =  3 */   4400,   5296,   5424, 
/* msg =   1329, deg =  3 */   4401,   5297,   5425, 
/* msg =   1330, deg =  3 */   4402,   5298,   5426, 
/* msg =   1331, deg =  3 */   4403,   5299,   5427, 
/* msg =   1332, deg =  3 */   4404,   5300,   5428, 
/* msg =   1333, deg =  3 */   4405,   5301,   5429, 
/* msg =   1334, deg =  3 */   4406,   5302,   5430, 
/* msg =   1335, deg =  3 */   4407,   5303,   5431, 
/* msg =   1336, deg =  3 */   4408,   5304,   5432, 
/* msg =   1337, deg =  3 */   4409,   5305,   5433, 
/* msg =   1338, deg =  3 */   4410,   5306,   5434, 
/* msg =   1339, deg =  3 */   4411,   5307,   5435, 
/* msg =   1340, deg =  3 */   4412,   5308,   5436, 
/* msg =   1341, deg =  3 */   4413,   5309,   5437, 
/* msg =   1342, deg =  3 */   4414,   5310,   5438, 
/* msg =   1343, deg =  3 */   4415,   5311,   5439, 
/* msg =   1344, deg =  3 */   4416,   5312,   5440, 
/* msg =   1345, deg =  3 */   4417,   5313,   5441, 
/* msg =   1346, deg =  3 */   4418,   5314,   5442, 
/* msg =   1347, deg =  3 */   4419,   5315,   5443, 
/* msg =   1348, deg =  3 */   4420,   5316,   5444, 
/* msg =   1349, deg =  3 */   4421,   5317,   5445, 
/* msg =   1350, deg =  3 */   4422,   5318,   5446, 
/* msg =   1351, deg =  3 */   4423,   5319,   5447, 
/* msg =   1352, deg =  3 */   4424,   5320,   5448, 
/* msg =   1353, deg =  3 */   4425,   5321,   5449, 
/* msg =   1354, deg =  3 */   4426,   5322,   5450, 
/* msg =   1355, deg =  3 */   4427,   5323,   5451, 
/* msg =   1356, deg =  3 */   4428,   5324,   5452, 
/* msg =   1357, deg =  3 */   4429,   5325,   5453, 
/* msg =   1358, deg =  3 */   4430,   5326,   5454, 
/* msg =   1359, deg =  3 */   4431,   5327,   5455, 
/* msg =   1360, deg =  3 */   4432,   5328,   5456, 
/* msg =   1361, deg =  3 */   4433,   5329,   5457, 
/* msg =   1362, deg =  3 */   4434,   5330,   5458, 
/* msg =   1363, deg =  3 */   4435,   5331,   5459, 
/* msg =   1364, deg =  3 */   4436,   5332,   5460, 
/* msg =   1365, deg =  3 */   4437,   5333,   5461, 
/* msg =   1366, deg =  3 */   4438,   5334,   5462, 
/* msg =   1367, deg =  3 */   4439,   5335,   5463, 
/* msg =   1368, deg =  3 */   4440,   5336,   5464, 
/* msg =   1369, deg =  3 */   4441,   5337,   5465, 
/* msg =   1370, deg =  3 */   4442,   5338,   5466, 
/* msg =   1371, deg =  3 */   4443,   5339,   5467, 
/* msg =   1372, deg =  3 */   4444,   5340,   5468, 
/* msg =   1373, deg =  3 */   4445,   5341,   5469, 
/* msg =   1374, deg =  3 */   4446,   5342,   5470, 
/* msg =   1375, deg =  3 */   4447,   5343,   5471, 
/* msg =   1376, deg =  3 */   4448,   5344,   5472, 
/* msg =   1377, deg =  3 */   4449,   5345,   5473, 
/* msg =   1378, deg =  3 */   4450,   5346,   5474, 
/* msg =   1379, deg =  3 */   4451,   5347,   5475, 
/* msg =   1380, deg =  3 */   4452,   5348,   5476, 
/* msg =   1381, deg =  3 */   4453,   5349,   5477, 
/* msg =   1382, deg =  3 */   4454,   5350,   5478, 
/* msg =   1383, deg =  3 */   4455,   5351,   5479, 
/* msg =   1384, deg =  3 */   4456,   5352,   5480, 
/* msg =   1385, deg =  3 */   4457,   5353,   5481, 
/* msg =   1386, deg =  3 */   4458,   5354,   5482, 
/* msg =   1387, deg =  3 */   4459,   5355,   5483, 
/* msg =   1388, deg =  3 */   4460,   5356,   5484, 
/* msg =   1389, deg =  3 */   4461,   5357,   5485, 
/* msg =   1390, deg =  3 */   4462,   5358,   5486, 
/* msg =   1391, deg =  3 */   4463,   5359,   5487, 
/* msg =   1392, deg =  3 */   4464,   5360,   5488, 
/* msg =   1393, deg =  3 */   4465,   5361,   5489, 
/* msg =   1394, deg =  3 */   4466,   5362,   5490, 
/* msg =   1395, deg =  3 */   4467,   5363,   5491, 
/* msg =   1396, deg =  3 */   4468,   5364,   5492, 
/* msg =   1397, deg =  3 */   4469,   5365,   5493, 
/* msg =   1398, deg =  3 */   4470,   5366,   5494, 
/* msg =   1399, deg =  3 */   4471,   5367,   5495, 
/* msg =   1400, deg =  3 */   4472,   5368,   5496, 
/* msg =   1401, deg =  3 */   4473,   5369,   5497, 
/* msg =   1402, deg =  3 */   4474,   5370,   5498, 
/* msg =   1403, deg =  3 */   4475,   5371,   5499, 
/* msg =   1404, deg =  3 */   4476,   5372,   5500, 
/* msg =   1405, deg =  3 */   4477,   5373,   5501, 
/* msg =   1406, deg =  3 */   4478,   5374,   5502, 
/* msg =   1407, deg =  3 */   4479,   5375,   5503, 
/* msg =   1408, deg =  3 */   4480,   5376,   5504, 
/* msg =   1409, deg =  3 */   4481,   5377,   5505, 
/* msg =   1410, deg =  3 */   4482,   5378,   5506, 
/* msg =   1411, deg =  3 */   4483,   5379,   5507, 
/* msg =   1412, deg =  3 */   4484,   5380,   5508, 
/* msg =   1413, deg =  3 */   4485,   5381,   5509, 
/* msg =   1414, deg =  3 */   4486,   5382,   5510, 
/* msg =   1415, deg =  3 */   4487,   5383,   5511, 
/* msg =   1416, deg =  3 */   4488,   5384,   5512, 
/* msg =   1417, deg =  3 */   4489,   5385,   5513, 
/* msg =   1418, deg =  3 */   4490,   5386,   5514, 
/* msg =   1419, deg =  3 */   4491,   5387,   5515, 
/* msg =   1420, deg =  3 */   4492,   5388,   5516, 
/* msg =   1421, deg =  3 */   4493,   5389,   5517, 
/* msg =   1422, deg =  3 */   4494,   5390,   5518, 
/* msg =   1423, deg =  3 */   4495,   5391,   5519, 
/* msg =   1424, deg =  3 */   4496,   5392,   5520, 
/* msg =   1425, deg =  3 */   4497,   5393,   5521, 
/* msg =   1426, deg =  3 */   4498,   5394,   5522, 
/* msg =   1427, deg =  3 */   4499,   5395,   5523, 
/* msg =   1428, deg =  3 */   4500,   5396,   5524, 
/* msg =   1429, deg =  3 */   4501,   5397,   5525, 
/* msg =   1430, deg =  3 */   4502,   5398,   5526, 
/* msg =   1431, deg =  3 */   4503,   5399,   5527, 
/* msg =   1432, deg =  3 */   4504,   5400,   5528, 
/* msg =   1433, deg =  3 */   4505,   5401,   5529, 
/* msg =   1434, deg =  3 */   4506,   5402,   5530, 
/* msg =   1435, deg =  3 */   4507,   5403,   5531, 
/* msg =   1436, deg =  3 */   4508,   5404,   5532, 
/* msg =   1437, deg =  3 */   4509,   5405,   5533, 
/* msg =   1438, deg =  3 */   4510,   5406,   5534, 
/* msg =   1439, deg =  3 */   4511,   5407,   5535, 
/* msg =   1440, deg =  3 */   4512,   5408,   5536, 
/* msg =   1441, deg =  3 */   4513,   5409,   5537, 
/* msg =   1442, deg =  3 */   4514,   5410,   5538, 
/* msg =   1443, deg =  3 */   4515,   5411,   5539, 
/* msg =   1444, deg =  3 */   4516,   5412,   5540, 
/* msg =   1445, deg =  3 */   4517,   5413,   5541, 
/* msg =   1446, deg =  3 */   4518,   5414,   5542, 
/* msg =   1447, deg =  3 */   4519,   5415,   5543, 
/* msg =   1448, deg =  3 */   4520,   5416,   5544, 
/* msg =   1449, deg =  3 */   4521,   5417,   5545, 
/* msg =   1450, deg =  3 */   4522,   5418,   5546, 
/* msg =   1451, deg =  3 */   4523,   5419,   5547, 
/* msg =   1452, deg =  3 */   4524,   5420,   5548, 
/* msg =   1453, deg =  3 */   4525,   5421,   5549, 
/* msg =   1454, deg =  3 */   4526,   5422,   5550, 
/* msg =   1455, deg =  3 */   4527,   5423,   5551, 
/* msg =   1456, deg =  3 */   4528,   5424,   5552, 
/* msg =   1457, deg =  3 */   4529,   5425,   5553, 
/* msg =   1458, deg =  3 */   4530,   5426,   5554, 
/* msg =   1459, deg =  3 */   4531,   5427,   5555, 
/* msg =   1460, deg =  3 */   4532,   5428,   5556, 
/* msg =   1461, deg =  3 */   4533,   5429,   5557, 
/* msg =   1462, deg =  3 */   4534,   5430,   5558, 
/* msg =   1463, deg =  3 */   4535,   5431,   5559, 
/* msg =   1464, deg =  3 */   4536,   5432,   5560, 
/* msg =   1465, deg =  3 */   4537,   5433,   5561, 
/* msg =   1466, deg =  3 */   4538,   5434,   5562, 
/* msg =   1467, deg =  3 */   4539,   5435,   5563, 
/* msg =   1468, deg =  3 */   4540,   5436,   5564, 
/* msg =   1469, deg =  3 */   4541,   5437,   5565, 
/* msg =   1470, deg =  3 */   4542,   5438,   5566, 
/* msg =   1471, deg =  3 */   4543,   5439,   5567, 
/* msg =   1472, deg =  3 */   4544,   5440,   5568, 
/* msg =   1473, deg =  3 */   4545,   5441,   5569, 
/* msg =   1474, deg =  3 */   4546,   5442,   5570, 
/* msg =   1475, deg =  3 */   4547,   5443,   5571, 
/* msg =   1476, deg =  3 */   4548,   5444,   5572, 
/* msg =   1477, deg =  3 */   4549,   5445,   5573, 
/* msg =   1478, deg =  3 */   4550,   5446,   5574, 
/* msg =   1479, deg =  3 */   4551,   5447,   5575, 
/* msg =   1480, deg =  3 */   4552,   5448,   5576, 
/* msg =   1481, deg =  3 */   4553,   5449,   5577, 
/* msg =   1482, deg =  3 */   4554,   5450,   5578, 
/* msg =   1483, deg =  3 */   4555,   5451,   5579, 
/* msg =   1484, deg =  3 */   4556,   5452,   5580, 
/* msg =   1485, deg =  3 */   4557,   5453,   5581, 
/* msg =   1486, deg =  3 */   4558,   5454,   5582, 
/* msg =   1487, deg =  3 */   4559,   5455,   5583, 
/* msg =   1488, deg =  3 */   4560,   5456,   5584, 
/* msg =   1489, deg =  3 */   4561,   5457,   5585, 
/* msg =   1490, deg =  3 */   4562,   5458,   5586, 
/* msg =   1491, deg =  3 */   4563,   5459,   5587, 
/* msg =   1492, deg =  3 */   4564,   5460,   5588, 
/* msg =   1493, deg =  3 */   4565,   5461,   5589, 
/* msg =   1494, deg =  3 */   4566,   5462,   5590, 
/* msg =   1495, deg =  3 */   4567,   5463,   5591, 
/* msg =   1496, deg =  3 */   4568,   5464,   5592, 
/* msg =   1497, deg =  3 */   4569,   5465,   5593, 
/* msg =   1498, deg =  3 */   4570,   5466,   5594, 
/* msg =   1499, deg =  3 */   4571,   5467,   5595, 
/* msg =   1500, deg =  3 */   4572,   5468,   5596, 
/* msg =   1501, deg =  3 */   4573,   5469,   5597, 
/* msg =   1502, deg =  3 */   4574,   5470,   5598, 
/* msg =   1503, deg =  3 */   4575,   5471,   5599, 
/* msg =   1504, deg =  3 */   4576,   5472,   5600, 
/* msg =   1505, deg =  3 */   4577,   5473,   5601, 
/* msg =   1506, deg =  3 */   4578,   5474,   5602, 
/* msg =   1507, deg =  3 */   4579,   5475,   5603, 
/* msg =   1508, deg =  3 */   4580,   5476,   5604, 
/* msg =   1509, deg =  3 */   4581,   5477,   5605, 
/* msg =   1510, deg =  3 */   4582,   5478,   5606, 
/* msg =   1511, deg =  3 */   4583,   5479,   5607, 
/* msg =   1512, deg =  3 */   4584,   5480,   5608, 
/* msg =   1513, deg =  3 */   4585,   5481,   5609, 
/* msg =   1514, deg =  3 */   4586,   5482,   5610, 
/* msg =   1515, deg =  3 */   4587,   5483,   5611, 
/* msg =   1516, deg =  3 */   4588,   5484,   5612, 
/* msg =   1517, deg =  3 */   4589,   5485,   5613, 
/* msg =   1518, deg =  3 */   4590,   5486,   5614, 
/* msg =   1519, deg =  3 */   4591,   5487,   5615, 
/* msg =   1520, deg =  3 */   4592,   5488,   5616, 
/* msg =   1521, deg =  3 */   4593,   5489,   5617, 
/* msg =   1522, deg =  3 */   4594,   5490,   5618, 
/* msg =   1523, deg =  3 */   4595,   5491,   5619, 
/* msg =   1524, deg =  3 */   4596,   5492,   5620, 
/* msg =   1525, deg =  3 */   4597,   5493,   5621, 
/* msg =   1526, deg =  3 */   4598,   5494,   5622, 
/* msg =   1527, deg =  3 */   4599,   5495,   5623, 
/* msg =   1528, deg =  3 */   4600,   5496,   5624, 
/* msg =   1529, deg =  3 */   4601,   5497,   5625, 
/* msg =   1530, deg =  3 */   4602,   5498,   5626, 
/* msg =   1531, deg =  3 */   4603,   5499,   5627, 
/* msg =   1532, deg =  3 */   4604,   5500,   5628, 
/* msg =   1533, deg =  3 */   4605,   5501,   5629, 
/* msg =   1534, deg =  3 */   4606,   5502,   5630, 
/* msg =   1535, deg =  3 */   4607,   5503,   5631
};
#endif

